let proof = new proofWin ~file () in
let check = new checkWin ~file () in
let keyBindingBoxes = (* event boxes which should receive global key events *)
- [ toolbar#toolBarEventBox; proof#proofWinEventBox; main#mainWinEventBox ]
+ [ toolbar#toolBarEventBox; proof#proofWinEventBox; main#mainWinEventBox;
+ check#checkWinEventBox ]
in
let console =
MatitaConsole.console ~evbox:main#consoleEventBox
List.iter (fun (key, callback) -> self#addKeyBinding key callback)
[ GdkKeysyms._F3,
toggle_win ~check:main#showProofMenuItem proof#proofWin;
+ GdkKeysyms._F4,
+ toggle_win ~check:main#showCheckMenuItem check#checkWin;
];
(* about win *)
ignore (about#aboutWin#event#connect#delete (fun _ -> true));