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=915cd313fd2fcf66da8e30125f632c7afb1940fb;hb=fb6e592cfeee3b5d1c59e66888c953bd9c43156f;hp=b79c8124469971b1074518720f10d1090d9ee0b6;hpb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;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 b79c81244..915cd313f 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
@@ -9,8 +9,10 @@ exception ErrorLoadingFile of string;;
 
 class math_view_signals obj = object
   inherit GContainer.container_signals obj
-  method jump = GtkSignal.connect ~sgn:MathView.Signals.jump obj ~after
   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
 end
 
 class math_view obj = object
@@ -18,11 +20,14 @@ 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 get_selection = MathView.get_selection obj
  method unload = MathView.unload obj
- method dump = MathView.dump obj
+ (*method dump = MathView.dump obj*)
+ method get_selection = MathView.get_selection obj
+ method set_selection = MathView.set_selection 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)
@@ -32,17 +37,24 @@ 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_top = MathView.get_top obj
- method set_top = MathView.set_top 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 log_set_verbosity = MathView.log_set_verbosity obj
+ method log_get_verbosity = MathView.log_get_verbosity obj
+ method export_to_postscript = MathView.export_to_postscript obj
 end
 
-let math_view ?adjustmenth ?adjustmentv ?border_width ?width ?height
- ?packing ?show ()
+let math_view ?adjustmenth ?adjustmentv ?(use_t1_lib=false) ?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;