gr_create_window : gr_window -> bool
- gr_create_window Win opens the window defined by Win, and
sets its identifier number and its state.
gr_erase_window : gr_window -> bool
- gr_erase_window Win closes the window defined by Win.
gr_quit_callback : 'a -> 'b -> bool
- gr_quit_callback is a general callback. When it is called, the
program ends correctly.
gr_callback : graph_obj -> event -> bool
- gr_callback Obj Event calls the callback of the object Obj
with the event Event and returns the boolean returned by the
callback. If the object doesn't have a callback, the returned boolean
is false.
gr_draw_graph_obj : graph_obj -> unit
- gr_draw_graph_obj Obj draws the object Obj in the current
window.
gr_draw_window : window -> unit
- gr_draw_window Window draw the window Window.
gr_graph_obj_callback : graph_obj -> event -> bool;;
- gr_graph_obj_callback Obj Event calls the management
function of the object Obj, with the event Event.
gr_which_window : window list -> int -> window
- gr_which_window Windows Id_win returns the window from the
list Windows whose identifier number is Id_win. A failure exception is
raised if the identifier number isn't in the window list.
gr_main_loop : window list -> unit
- gr_main_loop gets the events and distributes them to all the
objects. The first window of the list is opened just after the
call.
gr_block_loop : window -> unit
- gr_block_loop Window opens the window Window, and blocks the
events in all the other windows except the redraw and close
events. Window is a blocking window.