]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml
Start of test phase
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / gMathView.ml
index 915cd313fd2fcf66da8e30125f632c7afb1940fb..f83774444383370d9e0634dbc2b9e3e2dc482028 100644 (file)
@@ -42,8 +42,8 @@ class math_view obj = object
  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 set_log_verbosity = MathView.set_log_verbosity obj
+ method get_log_verbosity = MathView.get_log_verbosity obj
  method export_to_postscript = MathView.export_to_postscript obj
 end