let main = new mainWin ~file () in
let about = new aboutWin ~file () in
let fileSel = new fileSelectionWin ~file () in
- let proof = new proofWin ~file () in
- let check = new checkWin ~file () in
let script = new scriptWin ~file () in
let keyBindingBoxes = (* event boxes which should receive global key events *)
- [ toolbar#toolBarEventBox; proof#proofWinEventBox; main#mainWinEventBox;
- check#checkWinEventBox; script#scriptWinEventBox; main#consoleEventBox ]
+ [ toolbar#toolBarEventBox; main#mainWinEventBox;
+ script#scriptWinEventBox; main#consoleEventBox ]
in
let console =
MatitaConsole.console ~evbox:main#consoleEventBox
(* glade's check widgets *)
List.iter (fun w -> w#check_widgets ())
(let c w = (w :> <check_widgets: unit -> unit>) in
- [ c about; c fileSel; c main; c proof; c toolbar; c check; c script ]);
+ [ c about; c fileSel; c main; c toolbar; c script ]);
(* key bindings *)
List.iter (* global key bindings *)
(fun (key, callback) -> self#addKeyBinding key callback)
console#misc#grab_focus ();
method about = about
- method check = check
method console = console
method fileSel = fileSel
method main = main
- method proof = proof
method script = script
method toolbar = toolbar
end
-let instance =
- let gui = lazy (new gui (Helm_registry.get "matita.glade_file")) in
- fun () -> Lazy.force gui
+let gui () = new gui (Helm_registry.get "matita.glade_file")
+let instance = singleton gui