let toolbar = new toolBarWin ~file () in
let main = new mainWin ~file () in
let about = new aboutWin ~file () in
- let dialog = new genericDialog ~file () in
let fileSel = new fileSelectionWin ~file () in
let proof = new proofWin ~file () in
let keyBindingBoxes = (* event boxes which should receive global key events *)
(* glade's check widgets *)
List.iter (fun w -> w#check_widgets ())
(let c w = (w :> <check_widgets: unit -> unit>) in
- [ c about; c dialog; c fileSel; c main; c proof; c toolbar ]);
+ [ c about; c fileSel; c main; c proof; c toolbar ]);
(* show/hide commands *)
toggle_visibility toolbar#toolBarWin main#showToolBarMenuItem;
toggle_visibility proof#proofWin main#showProofMenuItem;
method toolbar = toolbar
method main = main
method about = about
- method dialog = dialog
method fileSel = fileSel
method proof = proof
dialog#check_widgets ();
dialog
+ method newConfirmationDialog ~title ~msg () =
+ let dialog = new confirmationDialog ~file () in
+ dialog#confirmationDialog#set_title title;
+ dialog#confirmationDialogLabel#set_label msg;
+ dialog#check_widgets ();
+ dialog
+
method private addKeyBinding key callback =
List.iter (fun evbox -> add_key_binding key callback evbox)
keyBindingBoxes