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

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index d8eb283cc..58a8d17b9 100644
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -22,7 +22,7 @@
  *)
 
 class single_selection_math_view_signals :
-  ([> `container | `gtk | `mathview | `widget] as 'b) Gtk.obj ->
+  ([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
   ((Gdome.element option -> unit) -> unit) ->
  object
   inherit GMathView.math_view_signals
@@ -44,7 +44,6 @@ val single_selection_math_view :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->
@@ -68,7 +67,6 @@ val multi_selection_math_view :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->