X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.ml;h=41df006325aa26c0da20fbdd839e54518daa5a34;hb=4a97b3700b140024e1783ac12501ad5dfa4be9b5;hp=b937831f7b353c19f875efe6791d8f7b08c73350;hpb=81458bf25c713db183ea1449b6fe021760fdc611;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.ml b/helm/DEVEL/lablgtkmathview/gMathView.ml
index b937831f7..41df00632 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathView.ml
@@ -20,12 +20,13 @@
  * 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