X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FgTopLevel.ml;h=93924b9ada6a71331a28f5cb7002844dc88659c6;hb=e92ed86ef80add294c5b7fa84b1ea7d0d88c9bbd;hp=800e69aa07b485cd326638ad3b3f5ba33caee01c;hpb=f233601294e39910180eeadbf39eca5c79329b3f;p=helm.git

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 800e69aa0..93924b9ad 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -784,7 +784,7 @@ class scratch_window () =
   GMathView.math_view ~packing:(window#add) ~width:400 ~height:280 () in
 object(self)
  method display = mmlwidget#load_tree
- method show = window#show
+ method show () = window#misc#hide () ; window#show ()
  initializer
   ignore(window#event#connect#delete (fun _ -> window#misc#hide () ; true ))
 end;;
@@ -888,7 +888,7 @@ object(self)
  method inputt = inputt
  method output = (output : GMathView.math_view)
  method proofw = (proofw : GMathView.math_view)
- method show () = window#show ()
+ method show = window#show
  initializer
   button_export_to_postscript#misc#set_sensitive false ;