set_star self#ppFilename true
else
set_star self#ppFilename false));
- self#reset ()
+ self#reset ();
+ self#template ();
+ buffer#set_modified false
val mutable statements = []; (** executed statements *)
val mutable history = [ init ];
buffer#delete ~start:buffer#start_iter ~stop:buffer#end_iter;
self#notify
+ method template () =
+ let template = MatitaMisc.input_file BuildTimeConf.script_template in
+ buffer#insert ~iter:(buffer#get_iter `START) template
+
method goto (pos: [`Top | `Bottom | `Cursor]) () =
match pos with
| `Top -> self#goto_top; self#notify