let buf = self#main#scriptTextView#buffer in
buf#insert ~iter:(buf#get_iter_at_mark `INSERT) "\n";
advance ());
+ (* script monospace font stuff *)
+ let font = Pango.Font.from_string "Monospace 10" in
+ let monospace_tag =
+ self#main#scriptTextView#buffer#create_tag [`FONT_DESC font]
+ in
+ let _ =
+ self#main#scriptTextView#buffer#connect#changed ~callback:(fun _ ->
+ let start, stop = self#main#scriptTextView#buffer#bounds in
+ self#main#scriptTextView#buffer#apply_tag monospace_tag start stop)
+ in
+
(* debug menu *)
self#main#debugMenu#misc#hide ();
(* status bar *)