1 (* Automatically generated from matita.glade by lablgladecc *)
3 class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
4 let xmldata = Glade.create ~file ~root:"MainWin" ?domain () in
6 inherit Glade.xml ?autoconnect xmldata
8 new GWindow.window (GtkWindow.Window.cast
9 (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
10 method toplevel = toplevel
12 new GWindow.window (GtkWindow.Window.cast
13 (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
14 method mainWin = mainWin
16 new GPack.box (GtkPack.Box.cast
17 (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
18 method mainWinShape = mainWinShape
20 new GMenu.menu_shell (GtkMenu.MenuBar.cast
21 (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
22 method mainMenuBar = mainMenuBar
24 new GMenu.menu_item (GtkMenu.MenuItem.cast
25 (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
26 method fileMenu = fileMenu
28 new GMenu.menu (GtkMenu.Menu.cast
29 (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
30 method fileMenu_menu = fileMenu_menu
32 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
33 (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
34 method newMenu = newMenu
36 new GMisc.image (GtkMisc.Image.cast
37 (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
38 method image76 = image76
40 new GMenu.menu (GtkMenu.Menu.cast
41 (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
42 method newMenu_menu = newMenu_menu
43 val newProofMenuItem =
44 new GMenu.menu_item (GtkMenu.MenuItem.cast
45 (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
46 method newProofMenuItem = newProofMenuItem
48 new GMenu.menu_item (GtkMenu.MenuItem.cast
49 (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
50 method newDefsMenuItem = newDefsMenuItem
52 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
53 (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
54 method openMenuItem = openMenuItem
56 new GMisc.image (GtkMisc.Image.cast
57 (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
58 method image77 = image77
60 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
61 (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
62 method saveMenuItem = saveMenuItem
64 new GMisc.image (GtkMisc.Image.cast
65 (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
66 method image78 = image78
68 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
69 (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
70 method saveAsMenuItem = saveAsMenuItem
72 new GMisc.image (GtkMisc.Image.cast
73 (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
74 method image79 = image79
76 new GMenu.menu_item (GtkMenu.MenuItem.cast
77 (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
78 method separator1 = separator1
80 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
81 (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
82 method quitMenuItem = quitMenuItem
84 new GMisc.image (GtkMisc.Image.cast
85 (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
86 method image80 = image80
88 new GMenu.menu_item (GtkMenu.MenuItem.cast
89 (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
90 method editMenu = editMenu
92 new GMenu.menu_item (GtkMenu.MenuItem.cast
93 (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
94 method viewMenu = viewMenu
96 new GMenu.menu (GtkMenu.Menu.cast
97 (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
98 method viewMenu_menu = viewMenu_menu
99 val showToolBarMenuItem =
100 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
101 (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
102 method showToolBarMenuItem = showToolBarMenuItem
103 val showProofMenuItem =
104 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
105 (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
106 method showProofMenuItem = showProofMenuItem
108 new GMenu.menu_item (GtkMenu.MenuItem.cast
109 (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
110 method debugMenu = debugMenu
112 new GMenu.menu (GtkMenu.Menu.cast
113 (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
114 method debugMenu_menu = debugMenu_menu
116 new GMenu.menu_item (GtkMenu.MenuItem.cast
117 (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
118 method separator2 = separator2
120 new GMenu.menu_item (GtkMenu.MenuItem.cast
121 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
122 method helpMenu = helpMenu
124 new GMenu.menu (GtkMenu.Menu.cast
125 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
126 method helpMenu_menu = helpMenu_menu
128 new GMenu.menu_item (GtkMenu.MenuItem.cast
129 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
130 method aboutMenuItem = aboutMenuItem
132 new GPack.paned (GtkPack.Paned.cast
133 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
134 method mainVPanes = mainVPanes
135 val scrolledSequents =
136 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
137 (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
138 method scrolledSequents = scrolledSequents
139 val scrolledConsole =
140 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
141 (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
142 method scrolledConsole = scrolledConsole
144 new GMisc.statusbar (GtkMisc.Statusbar.cast
145 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
146 method mainStatusBar = mainStatusBar
147 method reparent parent =
148 mainWinShape#misc#reparent parent;
150 method check_widgets () = ()
152 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
153 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
155 inherit Glade.xml ?autoconnect xmldata
157 new GWindow.window (GtkWindow.Window.cast
158 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
159 method toplevel = toplevel
161 new GWindow.window (GtkWindow.Window.cast
162 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
163 method proofWin = proofWin
164 val proofWinEventBox =
165 new GBin.event_box (GtkBin.EventBox.cast
166 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
167 method proofWinEventBox = proofWinEventBox
169 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
170 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
171 method scrolledProof = scrolledProof
172 method reparent parent =
173 proofWinEventBox#misc#reparent parent;
175 method check_widgets () = ()
177 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
178 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
180 inherit Glade.xml ?autoconnect xmldata
182 new GWindow.file_selection (GtkWindow.FileSelection.cast
183 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
184 method toplevel = toplevel
185 val fileSelectionWin =
186 new GWindow.file_selection (GtkWindow.FileSelection.cast
187 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
188 method fileSelectionWin = fileSelectionWin
190 new GButton.button (GtkButton.Button.cast
191 (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
192 method cancel_button1 = cancel_button1
194 new GButton.button (GtkButton.Button.cast
195 (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
196 method ok_button1 = ok_button1
197 method check_widgets () = ()
199 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
200 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
202 inherit Glade.xml ?autoconnect xmldata
204 new GWindow.window (GtkWindow.Window.cast
205 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
206 method toplevel = toplevel
208 new GWindow.window (GtkWindow.Window.cast
209 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
210 method toolBarWin = toolBarWin
211 val toolBarEventBox =
212 new GBin.event_box (GtkBin.EventBox.cast
213 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
214 method toolBarEventBox = toolBarEventBox
216 new GPack.box (GtkPack.Box.cast
217 (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
220 new GPack.button_box (GtkPack.BBox.cast
221 (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata))
222 method vbuttonbox1 = vbuttonbox1
224 new GButton.button (GtkButton.Button.cast
225 (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
226 method button1 = button1
228 new GButton.button (GtkButton.Button.cast
229 (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
230 method button2 = button2
232 new GButton.button (GtkButton.Button.cast
233 (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
234 method button3 = button3
236 new GButton.button (GtkButton.Button.cast
237 (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
238 method button4 = button4
239 method reparent parent =
240 toolBarEventBox#misc#reparent parent;
242 method check_widgets () = ()
244 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
245 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
247 inherit Glade.xml ?autoconnect xmldata
249 new GWindow.dialog_any (GtkWindow.Dialog.cast
250 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
251 method toplevel = toplevel
252 val confirmationDialog =
253 new GWindow.dialog_any (GtkWindow.Dialog.cast
254 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
255 method confirmationDialog = confirmationDialog
257 new GPack.box (GtkPack.Box.cast
258 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
259 method dialog_vbox1 = dialog_vbox1
260 val dialog_action_area1 =
261 new GPack.button_box (GtkPack.BBox.cast
262 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
263 method dialog_action_area1 = dialog_action_area1
264 val confirmationDialogCancelButton =
265 new GButton.button (GtkButton.Button.cast
266 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
267 method confirmationDialogCancelButton = confirmationDialogCancelButton
268 val confirmationDialogOkButton =
269 new GButton.button (GtkButton.Button.cast
270 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
271 method confirmationDialogOkButton = confirmationDialogOkButton
272 val confirmationDialogLabel =
273 new GMisc.label (GtkMisc.Label.cast
274 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
275 method confirmationDialogLabel = confirmationDialogLabel
276 method reparent parent =
277 dialog_vbox1#misc#reparent parent;
279 method check_widgets () = ()
281 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
282 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
284 inherit Glade.xml ?autoconnect xmldata
286 new GWindow.dialog_any (GtkWindow.Dialog.cast
287 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
288 method toplevel = toplevel
290 new GWindow.dialog_any (GtkWindow.Dialog.cast
291 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
292 method aboutWin = aboutWin
294 new GPack.box (GtkPack.Box.cast
295 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
296 method dialog_vbox2 = dialog_vbox2
297 val dialog_action_area2 =
298 new GPack.button_box (GtkPack.BBox.cast
299 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
300 method dialog_action_area2 = dialog_action_area2
301 val aboutDismissButton =
302 new GButton.button (GtkButton.Button.cast
303 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
304 method aboutDismissButton = aboutDismissButton
305 method reparent parent =
306 dialog_vbox2#misc#reparent parent;
308 method check_widgets () = ()
310 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
311 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
313 inherit Glade.xml ?autoconnect xmldata
315 new GWindow.dialog_any (GtkWindow.Dialog.cast
316 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
317 method toplevel = toplevel
318 val uriChoiceDialog =
319 new GWindow.dialog_any (GtkWindow.Dialog.cast
320 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
321 method uriChoiceDialog = uriChoiceDialog
323 new GPack.box (GtkPack.Box.cast
324 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
325 method dialog_vbox3 = dialog_vbox3
326 val dialog_action_area3 =
327 new GPack.button_box (GtkPack.BBox.cast
328 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
329 method dialog_action_area3 = dialog_action_area3
330 val uriChoiceAbortButton =
331 new GButton.button (GtkButton.Button.cast
332 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
333 method uriChoiceAbortButton = uriChoiceAbortButton
334 val uriChoiceSelectedButton =
335 new GButton.button (GtkButton.Button.cast
336 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
337 method uriChoiceSelectedButton = uriChoiceSelectedButton
339 new GBin.alignment (GtkBin.Alignment.cast
340 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
341 method alignment2 = alignment2
343 new GPack.box (GtkPack.Box.cast
344 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
347 new GMisc.image (GtkMisc.Image.cast
348 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
349 method image19 = image19
351 new GMisc.label (GtkMisc.Label.cast
352 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
353 method label3 = label3
354 val uriChoiceConstantsButton =
355 new GButton.button (GtkButton.Button.cast
356 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
357 method uriChoiceConstantsButton = uriChoiceConstantsButton
358 val uriChoiceAutoButton =
359 new GButton.button (GtkButton.Button.cast
360 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
361 method uriChoiceAutoButton = uriChoiceAutoButton
363 new GBin.alignment (GtkBin.Alignment.cast
364 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
365 method alignment1 = alignment1
367 new GPack.box (GtkPack.Box.cast
368 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
371 new GMisc.image (GtkMisc.Image.cast
372 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
373 method image18 = image18
375 new GMisc.label (GtkMisc.Label.cast
376 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
377 method label1 = label1
379 new GPack.box (GtkPack.Box.cast
380 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
383 new GMisc.label (GtkMisc.Label.cast
384 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
385 method uriChoiceLabel = uriChoiceLabel
386 val scrolledwindow1 =
387 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
388 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
389 method scrolledwindow1 = scrolledwindow1
390 val uriChoiceTreeView =
391 new GTree.view (GtkTree.TreeView.cast
392 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
393 method uriChoiceTreeView = uriChoiceTreeView
395 new GPack.box (GtkPack.Box.cast
396 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
399 new GMisc.label (GtkMisc.Label.cast
400 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
401 method label2 = label2
403 new GEdit.entry (GtkEdit.Entry.cast
404 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
405 method entry1 = entry1
406 method reparent parent =
407 dialog_vbox3#misc#reparent parent;
409 method check_widgets () = ()
411 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
412 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
414 inherit Glade.xml ?autoconnect xmldata
416 new GWindow.dialog_any (GtkWindow.Dialog.cast
417 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
418 method toplevel = toplevel
419 val interpChoiceDialog =
420 new GWindow.dialog_any (GtkWindow.Dialog.cast
421 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
422 method interpChoiceDialog = interpChoiceDialog
424 new GPack.box (GtkPack.Box.cast
425 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
426 method dialog_vbox4 = dialog_vbox4
427 val dialog_action_area4 =
428 new GPack.button_box (GtkPack.BBox.cast
429 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
430 method dialog_action_area4 = dialog_action_area4
431 val interpChoiceHelpButton =
432 new GButton.button (GtkButton.Button.cast
433 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
434 method interpChoiceHelpButton = interpChoiceHelpButton
435 val interpChoiceCancelButton =
436 new GButton.button (GtkButton.Button.cast
437 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
438 method interpChoiceCancelButton = interpChoiceCancelButton
439 val interpChoiceOkButton =
440 new GButton.button (GtkButton.Button.cast
441 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
442 method interpChoiceOkButton = interpChoiceOkButton
444 new GPack.box (GtkPack.Box.cast
445 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
448 new GMisc.label (GtkMisc.Label.cast
449 (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
450 method label6 = label6
451 method reparent parent =
452 dialog_vbox4#misc#reparent parent;
454 method check_widgets () = ()
456 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
457 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
459 inherit Glade.xml ?autoconnect xmldata
461 new GWindow.dialog_any (GtkWindow.Dialog.cast
462 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
463 method toplevel = toplevel
465 new GWindow.dialog_any (GtkWindow.Dialog.cast
466 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
467 method emptyDialog = emptyDialog
468 val emptyDialogVBox =
469 new GPack.box (GtkPack.Box.cast
470 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
471 method emptyDialogVBox = emptyDialogVBox
472 val dialog_action_area5 =
473 new GPack.button_box (GtkPack.BBox.cast
474 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
475 method dialog_action_area5 = dialog_action_area5
476 val emptyDialogCancelButton =
477 new GButton.button (GtkButton.Button.cast
478 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
479 method emptyDialogCancelButton = emptyDialogCancelButton
480 val emptyDialogOkButton =
481 new GButton.button (GtkButton.Button.cast
482 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
483 method emptyDialogOkButton = emptyDialogOkButton
484 val emptyDialogLabel =
485 new GMisc.label (GtkMisc.Label.cast
486 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
487 method emptyDialogLabel = emptyDialogLabel
488 method reparent parent =
489 emptyDialogVBox#misc#reparent parent;
491 method check_widgets () = ()
494 let check_all ?(show=false) () =
495 ignore (GMain.Main.init ());
496 let emptyDialog = new emptyDialog () in
497 if show then emptyDialog#toplevel#show ();
498 emptyDialog#check_widgets ();
499 let interpChoiceDialog = new interpChoiceDialog () in
500 if show then interpChoiceDialog#toplevel#show ();
501 interpChoiceDialog#check_widgets ();
502 let uriChoiceDialog = new uriChoiceDialog () in
503 if show then uriChoiceDialog#toplevel#show ();
504 uriChoiceDialog#check_widgets ();
505 let aboutWin = new aboutWin () in
506 if show then aboutWin#toplevel#show ();
507 aboutWin#check_widgets ();
508 let confirmationDialog = new confirmationDialog () in
509 if show then confirmationDialog#toplevel#show ();
510 confirmationDialog#check_widgets ();
511 let toolBarWin = new toolBarWin () in
512 if show then toolBarWin#toplevel#show ();
513 toolBarWin#check_widgets ();
514 let fileSelectionWin = new fileSelectionWin () in
515 if show then fileSelectionWin#toplevel#show ();
516 fileSelectionWin#check_widgets ();
517 let proofWin = new proofWin () in
518 if show then proofWin#toplevel#show ();
519 proofWin#check_widgets ();
520 let mainWin = new mainWin () in
521 if show then mainWin#toplevel#show ();
522 mainWin#check_widgets ();
523 if show then GMain.Main.main ()