X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;fp=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;h=d8eb283cc0e87a0afaacfb25d0b99995a4beec42;hb=278d9954e80f952f7cde793e33e01bacce1cd40c;hp=edcf156357e7f65097bab15d0c85b8aff099c1c4;hpb=315019bd94fc4908aca32bbc1d259e7ece7eb58d;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index edcf15635..d8eb283cc 100644
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -22,7 +22,7 @@
  *)
 
 class single_selection_math_view_signals :
-  ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
+  ([> `container | `gtk | `mathview | `widget] as 'b) Gtk.obj ->
   ((Gdome.element option -> unit) -> unit) ->
  object
   inherit GMathView.math_view_signals
@@ -40,10 +40,10 @@ class single_selection_math_view :
   end
 
 val single_selection_math_view :
-  ?adjustmenth:GData.adjustment ->
-  ?adjustmentv:GData.adjustment ->
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
   ?font_size:int ->
-  ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+  ?log_verbosity:int ->
   ?border_width:int ->
   ?width:int ->
   ?height:int ->
@@ -64,10 +64,10 @@ class multi_selection_math_view :
   end
 
 val multi_selection_math_view :
-  ?adjustmenth:GData.adjustment ->
-  ?adjustmentv:GData.adjustment ->
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
   ?font_size:int ->
-  ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+  ?log_verbosity:int ->
   ?border_width:int ->
   ?width:int ->
   ?height:int ->