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=87f0d50358930244295ce8b44ce89d906e53c92c;hb=35667e24851618733d8ef7576a6550f6e2f0b26b;hp=f83774444383370d9e0634dbc2b9e3e2dc482028;hpb=33dcab0b5868d4bfd2f813445cfc94827f1fc555;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 f83774444..87f0d5035 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,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