X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;h=9e47e419a93d2957351f98c56acd34fbaf53136e;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=299328733ab498602215ed1ab3ee50e1d3831caf;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/software/DEVEL/lablgtkmathview/gMathViewAux.mli
index 299328733..9e47e419a 100644
--- a/helm/software/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/software/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -24,6 +24,11 @@
  * 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 ->