let filename = Pcre.replace ~pat:"\\.p$" ~templ:".ma" file in
script#assignFileName filename;
source_view#source_buffer#begin_not_undoable_action ();
let filename = Pcre.replace ~pat:"\\.p$" ~templ:".ma" file in
script#assignFileName filename;
source_view#source_buffer#begin_not_undoable_action ();