]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathViewAux.mli
(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08
[helm.git] / helm / DEVEL / lablgtkmathview / gMathViewAux.mli
index d8eb283cc0e87a0afaacfb25d0b99995a4beec42..58a8d17b96aa9c5a2305b04264bd2fd46ba9a035 100644 (file)
@@ -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) ->