X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.1.0%2FgMathView.ml;h=b79c8124469971b1074518720f10d1090d9ee0b6;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=87f0d50358930244295ce8b44ce89d906e53c92c;hpb=35667e24851618733d8ef7576a6550f6e2f0b26b;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml
index 87f0d5035..b79c81244 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml
@@ -6,14 +6,11 @@ open GtkMathView
 open GObj
 
 exception ErrorLoadingFile of string;;
-exception ErrorWritingFile of string;;
 
 class math_view_signals obj = object
   inherit GContainer.container_signals obj
-  method clicked = GtkSignal.connect ~sgn:MathView.Signals.clicked obj ~after
   method jump = GtkSignal.connect ~sgn:MathView.Signals.jump obj ~after
-  method selection_changed =
-  GtkSignal.connect ~sgn:MathView.Signals.selection_changed obj ~after
+  method clicked = GtkSignal.connect ~sgn:MathView.Signals.clicked obj ~after
 end
 
 class math_view obj = object
@@ -21,13 +18,11 @@ class math_view obj = object
  method connect = new math_view_signals obj
  method load ~filename =
   if not (MathView.load obj ~filename) then raise (ErrorLoadingFile filename)
- method unload = MathView.unload obj
  method get_selection = MathView.get_selection obj
- method set_selection = MathView.set_selection obj
+ method unload = MathView.unload obj
+ method dump = MathView.dump obj
  method get_width = MathView.get_width obj
  method get_height = MathView.get_height obj
- method get_top = MathView.get_top obj
- method set_top = MathView.set_top obj
  method set_adjustments =
   fun adj1 adj2 ->
    MathView.set_adjustments obj (GData.as_adjustment adj1)
@@ -37,26 +32,17 @@ class math_view obj = object
  method get_buffer = MathView.get_buffer obj
  method get_frame = new GBin.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
- method get_anti_aliasing = MathView.get_anti_aliasing obj
- method set_kerning = MathView.set_kerning obj
- method get_kerning = MathView.get_kerning obj
- method set_log_verbosity = MathView.set_log_verbosity obj
- method get_log_verbosity = MathView.get_log_verbosity obj
- method export_to_postscript ~filename =
-  if not (MathView.export_to_postscript obj ~filename) then
-   raise (ErrorWritingFile filename)
+ (*method get_top = MathView.get_top obj
+ method set_top = MathView.set_top obj*)
 end
 
-let math_view ?adjustmenth ?adjustmentv ?(use_t1_lib=false) ?border_width
- ?width ?height ?packing ?show ()
+let math_view ?adjustmenth ?adjustmentv ?border_width ?width ?height
+ ?packing ?show ()
 =
  let w =
    MathView.create
     ?adjustmenth:(may_map ~f:GData.as_adjustment adjustmenth)
     ?adjustmentv:(may_map ~f:GData.as_adjustment adjustmentv)
-    ?use_t1_lib
     ()
  in
   Container.set w ?border_width ?width ?height;