+
+ method loadScript file =
+ let script = MatitaScript.instance () in
+ script#reset ();
+ script#loadFrom file;
+ console#message ("'"^file^"' loaded.");
+ self#_enableSaveTo file
+
+ method private _enableSaveTo file =
+ script_fname <- Some file;
+ self#main#saveMenuItem#misc#set_sensitive true
+