* 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;;
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