| Some f ->
script#reset ();
script#assignFileName f;
+ source_view#source_buffer#begin_not_undoable_action ();
script#loadFromFile ();
+ source_view#source_buffer#end_not_undoable_action ();
console#message ("'"^f^"' loaded.\n");
self#_enableSaveTo f
| None -> ()
with MatitaTypes.Cancel -> ()
in
let newScript () =
+ source_view#source_buffer#begin_not_undoable_action ();
(s ())#reset ();
(s ())#template ();
+ source_view#source_buffer#end_not_undoable_action ();
disableSave ();
script_fname <- None
in
output_string oc template;
close_out oc
end;
+ source_view#source_buffer#begin_not_undoable_action ();
script#loadFromFile ();
+ source_view#source_buffer#end_not_undoable_action ();
console#message ("'"^file^"' loaded.");
self#_enableSaveTo file