]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/lablgtkmathview/gMathViewAux.mli
* add ocamldoc comments to .mli interface files
[helm.git] / DEVEL / lablgtkmathview / gMathViewAux.mli
index 299328733ab498602215ed1ab3ee50e1d3831caf..9e47e419a93d2957351f98c56acd34fbaf53136e 100644 (file)
  * For details, send a mail to the authors.
  *)
 
+(** {1 Selection-enabled GtkMathView classes} *)
+
+(** {2 Single-selection} *)
+
+(** signals *)
 class single_selection_math_view_signals :
   ([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
   ((Gdome.element option -> unit) -> unit) ->
@@ -32,6 +37,7 @@ class single_selection_math_view_signals :
     method selection_changed : (Gdome.element_of_node option -> unit) -> unit
   end
 
+(** main class *)
 class single_selection_math_view :
   Gtk_mathview.math_view Gtk.obj ->
   object
@@ -42,6 +48,7 @@ class single_selection_math_view :
     method action_toggle : Gdome.element -> bool
   end
 
+(** single_selection_math_view constructor *)
 val single_selection_math_view :
   ?hadjustment:GData.adjustment ->
   ?vadjustment:GData.adjustment ->
@@ -54,6 +61,9 @@ val single_selection_math_view :
   unit ->
     single_selection_math_view
 
+(** {2 Multiple-selection} *)
+
+(** main class, extends single_selection_math_view *)
 class multi_selection_math_view :
   Gtk_mathview.math_view Gtk.obj ->
   object
@@ -64,6 +74,7 @@ class multi_selection_math_view :
     method get_selections : Gdome.element list
   end
 
+(** multi_selection_math_view constructor *)
 val multi_selection_math_view :
   ?hadjustment:GData.adjustment ->
   ?vadjustment:GData.adjustment ->