]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathView.ml
updated the binding so that it works well with lablgtk-1.00,
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.ml
index b937831f7b353c19f875efe6791d8f7b08c73350..41df006325aa26c0da20fbdd839e54518daa5a34 100644 (file)
  * For details, send a mail to the author.
  *)
 
-open Gaux
+(*open Gaux*)
 open Gtk
 open Gtk_mathview
 open GtkBase
 open GtkMathView
 open GObj
+open Misc
 
 exception ErrorLoadingFile of string;;
 exception ErrorWritingFile of string;;
@@ -58,7 +59,7 @@ class math_view obj = object
  method get_hadjustment = new GData.adjustment (MathView.get_hadjustment obj)
  method get_vadjustment = new GData.adjustment (MathView.get_vadjustment obj)
  method get_buffer = MathView.get_buffer obj
- method get_frame = new GBin.frame (MathView.get_frame obj)
+ method get_frame = new GFrame.frame (MathView.get_frame obj)
  method set_font_size = MathView.set_font_size obj
  method get_font_size = MathView.get_font_size obj
  method set_anti_aliasing = MathView.set_anti_aliasing obj