let proof = new proofWin ~file () in
let check = new checkWin ~file () in
let script = new scriptWin ~file () in
+ let browser = new browserWin ~file () in
let keyBindingBoxes = (* event boxes which should receive global key events *)
[ toolbar#toolBarEventBox; proof#proofWinEventBox; main#mainWinEventBox;
- check#checkWinEventBox; script#scriptWinEventBox; main#consoleEventBox ]
+ check#checkWinEventBox; script#scriptWinEventBox; main#consoleEventBox;
+ browser#browserWinEventBox
+ ]
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 proof; c toolbar; c check; c script;
+ c browser ]);
(* key bindings *)
List.iter (* global key bindings *)
(fun (key, callback) -> self#addKeyBinding key callback)