Test almost finished. Some bugs found.

[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / gMathView.ml

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 f83774444383370d9e0634dbc2b9e3e2dc482028..87f0d50358930244295ce8b44ce89d906e53c92c 100644 (file)
--- 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,6 +6,7 @@ open GtkMathView
 open GObj
 
 exception ErrorLoadingFile of string;;
+exception ErrorWritingFile of string;;
 
 class math_view_signals obj = object
   inherit GContainer.container_signals obj
@@ -21,7 +22,6 @@ class math_view obj = object
  method load ~filename =
   if not (MathView.load obj ~filename) then raise (ErrorLoadingFile filename)
  method unload = MathView.unload 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
@@ -44,7 +44,9 @@ class math_view obj = object
  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 = MathView.export_to_postscript obj
+ method export_to_postscript ~filename =
+  if not (MathView.export_to_postscript obj ~filename) then
+   raise (ErrorWritingFile filename)
 end
 
 let math_view ?adjustmenth ?adjustmentv ?(use_t1_lib=false) ?border_width