module Custop:Generic interface to create GUI for interpreters.sig
..end
exception Error of string * int * int
Error (message, start, stop)
:message
is the error message.The elements box is the list of defined elements, on the left in the default (glade) interface.
The display box is the box used to display the value associated to the selected element.
The output view is the sourceview where output of evaluation is printed along with a copy of the input code.
The input view is where the use types in its code.
class type display_box =object
..end
class virtual gui_base :object
..end
class virtual['a]
param :object
..end
val syntax_highlight_box : 'a param -> Configwin.parameter_kind * (unit -> unit)
Configwin
box to configure
the style scheme used in sourceview.val source_view_props_box : unit -> Configwin.parameter_kind * (unit -> unit)
Configwin
box to configure
the common preferences of the sourceview widgets.val string_of_file : string -> string
string_of_file file
returns the contents of the whole file
as a string.type 'a
element = {
|
element : |
|
pos : |
class['a]
elements :'a param -> GText.view ->
object
..end
val op_ini : Config_file.group
Config_file
.val save_options : string -> unit
save_options file
saves the options in the given file
.val load_options : string -> unit
load_file
loads the options for the given file
.val color_output : Config_file.string_cp
val color_error : Config_file.string_cp
val elements_frame_width : Config_file.int_cp
val display_frame_width : Config_file.int_cp
val output_frame_height : Config_file.int_cp
val edit_options : 'a param -> bool
true
if options were modified.
Create an instance of this class with a param
object and the main window
will appear. GMain.Main.main ()
is not called, so you have to call it
yourself.
class virtual gui :'a param ->
object
..end