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 GBin.event_box (GtkBin.EventBox.cast
17 (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
18 method mainWinEventBox = mainWinEventBox
20 new GPack.box (GtkPack.Box.cast
21 (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
22 method mainWinShape = mainWinShape
24 new GMenu.menu_shell (GtkMenu.MenuBar.cast
25 (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
26 method mainMenuBar = mainMenuBar
28 new GMenu.menu_item (GtkMenu.MenuItem.cast
29 (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
30 method fileMenu = fileMenu
32 new GMenu.menu (GtkMenu.Menu.cast
33 (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
34 method fileMenu_menu = fileMenu_menu
36 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
37 (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
38 method newMenu = newMenu
40 new GMisc.image (GtkMisc.Image.cast
41 (Glade.get_widget_msg ~name:"image116" ~info:"GtkImage" xmldata))
42 method image116 = image116
44 new GMenu.menu (GtkMenu.Menu.cast
45 (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
46 method newMenu_menu = newMenu_menu
47 val newProofMenuItem =
48 new GMenu.menu_item (GtkMenu.MenuItem.cast
49 (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
50 method newProofMenuItem = newProofMenuItem
52 new GMenu.menu_item (GtkMenu.MenuItem.cast
53 (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
54 method newDefsMenuItem = newDefsMenuItem
56 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
57 (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
58 method openMenuItem = openMenuItem
60 new GMisc.image (GtkMisc.Image.cast
61 (Glade.get_widget_msg ~name:"image117" ~info:"GtkImage" xmldata))
62 method image117 = image117
64 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
65 (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
66 method saveMenuItem = saveMenuItem
68 new GMisc.image (GtkMisc.Image.cast
69 (Glade.get_widget_msg ~name:"image118" ~info:"GtkImage" xmldata))
70 method image118 = image118
72 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
73 (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
74 method saveAsMenuItem = saveAsMenuItem
76 new GMisc.image (GtkMisc.Image.cast
77 (Glade.get_widget_msg ~name:"image119" ~info:"GtkImage" xmldata))
78 method image119 = image119
80 new GMenu.menu_item (GtkMenu.MenuItem.cast
81 (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
82 method separator1 = separator1
84 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
85 (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
86 method quitMenuItem = quitMenuItem
88 new GMisc.image (GtkMisc.Image.cast
89 (Glade.get_widget_msg ~name:"image120" ~info:"GtkImage" xmldata))
90 method image120 = image120
92 new GMenu.menu_item (GtkMenu.MenuItem.cast
93 (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
94 method editMenu = editMenu
96 new GMenu.menu_item (GtkMenu.MenuItem.cast
97 (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
98 method viewMenu = viewMenu
100 new GMenu.menu (GtkMenu.Menu.cast
101 (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
102 method viewMenu_menu = viewMenu_menu
103 val showToolBarMenuItem =
104 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
105 (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
106 method showToolBarMenuItem = showToolBarMenuItem
107 val showProofMenuItem =
108 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
109 (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
110 method showProofMenuItem = showProofMenuItem
111 val showCheckMenuItem =
112 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
113 (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata))
114 method showCheckMenuItem = showCheckMenuItem
116 new GMenu.menu_item (GtkMenu.MenuItem.cast
117 (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
118 method debugMenu = debugMenu
120 new GMenu.menu (GtkMenu.Menu.cast
121 (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
122 method debugMenu_menu = debugMenu_menu
124 new GMenu.menu_item (GtkMenu.MenuItem.cast
125 (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
126 method separator2 = separator2
128 new GMenu.menu_item (GtkMenu.MenuItem.cast
129 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
130 method helpMenu = helpMenu
132 new GMenu.menu (GtkMenu.Menu.cast
133 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
134 method helpMenu_menu = helpMenu_menu
136 new GMenu.menu_item (GtkMenu.MenuItem.cast
137 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
138 method aboutMenuItem = aboutMenuItem
140 new GPack.paned (GtkPack.Paned.cast
141 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
142 method mainVPanes = mainVPanes
143 val scrolledSequents =
144 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
145 (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
146 method scrolledSequents = scrolledSequents
148 new GBin.viewport (GtkBin.Viewport.cast
149 (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
150 method viewport1 = viewport1
151 val sequentsNotebook =
152 new GPack.notebook (GtkPack.Notebook.cast
153 (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
154 method sequentsNotebook = sequentsNotebook
155 val consoleEventBox =
156 new GBin.event_box (GtkBin.EventBox.cast
157 (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
158 method consoleEventBox = consoleEventBox
159 val scrolledConsole =
160 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
161 (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
162 method scrolledConsole = scrolledConsole
164 new GMisc.statusbar (GtkMisc.Statusbar.cast
165 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
166 method mainStatusBar = mainStatusBar
167 method reparent parent =
168 mainWinEventBox#misc#reparent parent;
170 method check_widgets () = ()
172 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
173 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
175 inherit Glade.xml ?autoconnect xmldata
177 new GWindow.window (GtkWindow.Window.cast
178 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
179 method toplevel = toplevel
181 new GWindow.window (GtkWindow.Window.cast
182 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
183 method proofWin = proofWin
184 val proofWinEventBox =
185 new GBin.event_box (GtkBin.EventBox.cast
186 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
187 method proofWinEventBox = proofWinEventBox
189 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
190 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
191 method scrolledProof = scrolledProof
192 method reparent parent =
193 proofWinEventBox#misc#reparent parent;
195 method check_widgets () = ()
197 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
198 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
200 inherit Glade.xml ?autoconnect xmldata
202 new GWindow.file_selection (GtkWindow.FileSelection.cast
203 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
204 method toplevel = toplevel
205 val fileSelectionWin =
206 new GWindow.file_selection (GtkWindow.FileSelection.cast
207 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
208 method fileSelectionWin = fileSelectionWin
210 new GButton.button (GtkButton.Button.cast
211 (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
212 method cancel_button1 = cancel_button1
214 new GButton.button (GtkButton.Button.cast
215 (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
216 method ok_button1 = ok_button1
217 method check_widgets () = ()
219 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
220 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
222 inherit Glade.xml ?autoconnect xmldata
224 new GWindow.window (GtkWindow.Window.cast
225 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
226 method toplevel = toplevel
228 new GWindow.window (GtkWindow.Window.cast
229 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
230 method toolBarWin = toolBarWin
231 val toolBarEventBox =
232 new GBin.event_box (GtkBin.EventBox.cast
233 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
234 method toolBarEventBox = toolBarEventBox
236 new GPack.box (GtkPack.Box.cast
237 (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
240 new GPack.button_box (GtkPack.BBox.cast
241 (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata))
242 method vbuttonbox1 = vbuttonbox1
244 new GButton.button (GtkButton.Button.cast
245 (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
246 method button1 = button1
248 new GButton.button (GtkButton.Button.cast
249 (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
250 method button2 = button2
252 new GButton.button (GtkButton.Button.cast
253 (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
254 method button3 = button3
256 new GButton.button (GtkButton.Button.cast
257 (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
258 method button4 = button4
259 method reparent parent =
260 toolBarEventBox#misc#reparent parent;
262 method check_widgets () = ()
264 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
265 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
267 inherit Glade.xml ?autoconnect xmldata
269 new GWindow.dialog_any (GtkWindow.Dialog.cast
270 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
271 method toplevel = toplevel
272 val confirmationDialog =
273 new GWindow.dialog_any (GtkWindow.Dialog.cast
274 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
275 method confirmationDialog = confirmationDialog
277 new GPack.box (GtkPack.Box.cast
278 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
279 method dialog_vbox1 = dialog_vbox1
280 val dialog_action_area1 =
281 new GPack.button_box (GtkPack.BBox.cast
282 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
283 method dialog_action_area1 = dialog_action_area1
284 val confirmationDialogCancelButton =
285 new GButton.button (GtkButton.Button.cast
286 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
287 method confirmationDialogCancelButton = confirmationDialogCancelButton
288 val confirmationDialogOkButton =
289 new GButton.button (GtkButton.Button.cast
290 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
291 method confirmationDialogOkButton = confirmationDialogOkButton
292 val confirmationDialogLabel =
293 new GMisc.label (GtkMisc.Label.cast
294 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
295 method confirmationDialogLabel = confirmationDialogLabel
296 method reparent parent =
297 dialog_vbox1#misc#reparent parent;
299 method check_widgets () = ()
301 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
302 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
304 inherit Glade.xml ?autoconnect xmldata
306 new GWindow.dialog_any (GtkWindow.Dialog.cast
307 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
308 method toplevel = toplevel
310 new GWindow.dialog_any (GtkWindow.Dialog.cast
311 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
312 method aboutWin = aboutWin
314 new GPack.box (GtkPack.Box.cast
315 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
316 method dialog_vbox2 = dialog_vbox2
317 val dialog_action_area2 =
318 new GPack.button_box (GtkPack.BBox.cast
319 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
320 method dialog_action_area2 = dialog_action_area2
321 val aboutDismissButton =
322 new GButton.button (GtkButton.Button.cast
323 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
324 method aboutDismissButton = aboutDismissButton
326 new GMisc.label (GtkMisc.Label.cast
327 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
328 method aboutLabel = aboutLabel
329 method reparent parent =
330 dialog_vbox2#misc#reparent parent;
332 method check_widgets () = ()
334 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
335 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
337 inherit Glade.xml ?autoconnect xmldata
339 new GWindow.dialog_any (GtkWindow.Dialog.cast
340 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
341 method toplevel = toplevel
342 val uriChoiceDialog =
343 new GWindow.dialog_any (GtkWindow.Dialog.cast
344 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
345 method uriChoiceDialog = uriChoiceDialog
347 new GPack.box (GtkPack.Box.cast
348 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
349 method dialog_vbox3 = dialog_vbox3
350 val dialog_action_area3 =
351 new GPack.button_box (GtkPack.BBox.cast
352 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
353 method dialog_action_area3 = dialog_action_area3
354 val uriChoiceAbortButton =
355 new GButton.button (GtkButton.Button.cast
356 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
357 method uriChoiceAbortButton = uriChoiceAbortButton
358 val uriChoiceSelectedButton =
359 new GButton.button (GtkButton.Button.cast
360 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
361 method uriChoiceSelectedButton = uriChoiceSelectedButton
363 new GBin.alignment (GtkBin.Alignment.cast
364 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
365 method alignment2 = alignment2
367 new GPack.box (GtkPack.Box.cast
368 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
371 new GMisc.image (GtkMisc.Image.cast
372 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
373 method image19 = image19
375 new GMisc.label (GtkMisc.Label.cast
376 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
377 method label3 = label3
378 val uriChoiceConstantsButton =
379 new GButton.button (GtkButton.Button.cast
380 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
381 method uriChoiceConstantsButton = uriChoiceConstantsButton
382 val uriChoiceAutoButton =
383 new GButton.button (GtkButton.Button.cast
384 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
385 method uriChoiceAutoButton = uriChoiceAutoButton
387 new GBin.alignment (GtkBin.Alignment.cast
388 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
389 method alignment1 = alignment1
391 new GPack.box (GtkPack.Box.cast
392 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
395 new GMisc.image (GtkMisc.Image.cast
396 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
397 method image18 = image18
399 new GMisc.label (GtkMisc.Label.cast
400 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
401 method label1 = label1
403 new GPack.box (GtkPack.Box.cast
404 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
407 new GMisc.label (GtkMisc.Label.cast
408 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
409 method uriChoiceLabel = uriChoiceLabel
410 val scrolledwindow1 =
411 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
412 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
413 method scrolledwindow1 = scrolledwindow1
414 val uriChoiceTreeView =
415 new GTree.view (GtkTree.TreeView.cast
416 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
417 method uriChoiceTreeView = uriChoiceTreeView
419 new GPack.box (GtkPack.Box.cast
420 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
423 new GMisc.label (GtkMisc.Label.cast
424 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
425 method label2 = label2
427 new GEdit.entry (GtkEdit.Entry.cast
428 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
429 method entry1 = entry1
430 method reparent parent =
431 dialog_vbox3#misc#reparent parent;
433 method check_widgets () = ()
435 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
436 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
438 inherit Glade.xml ?autoconnect xmldata
440 new GWindow.dialog_any (GtkWindow.Dialog.cast
441 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
442 method toplevel = toplevel
443 val interpChoiceDialog =
444 new GWindow.dialog_any (GtkWindow.Dialog.cast
445 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
446 method interpChoiceDialog = interpChoiceDialog
448 new GPack.box (GtkPack.Box.cast
449 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
450 method dialog_vbox4 = dialog_vbox4
451 val dialog_action_area4 =
452 new GPack.button_box (GtkPack.BBox.cast
453 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
454 method dialog_action_area4 = dialog_action_area4
455 val interpChoiceHelpButton =
456 new GButton.button (GtkButton.Button.cast
457 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
458 method interpChoiceHelpButton = interpChoiceHelpButton
459 val interpChoiceCancelButton =
460 new GButton.button (GtkButton.Button.cast
461 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
462 method interpChoiceCancelButton = interpChoiceCancelButton
463 val interpChoiceOkButton =
464 new GButton.button (GtkButton.Button.cast
465 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
466 method interpChoiceOkButton = interpChoiceOkButton
468 new GPack.box (GtkPack.Box.cast
469 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
472 new GMisc.label (GtkMisc.Label.cast
473 (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
474 method label6 = label6
475 method reparent parent =
476 dialog_vbox4#misc#reparent parent;
478 method check_widgets () = ()
480 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
481 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
483 inherit Glade.xml ?autoconnect xmldata
485 new GWindow.dialog_any (GtkWindow.Dialog.cast
486 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
487 method toplevel = toplevel
489 new GWindow.dialog_any (GtkWindow.Dialog.cast
490 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
491 method emptyDialog = emptyDialog
492 val emptyDialogVBox =
493 new GPack.box (GtkPack.Box.cast
494 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
495 method emptyDialogVBox = emptyDialogVBox
496 val dialog_action_area5 =
497 new GPack.button_box (GtkPack.BBox.cast
498 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
499 method dialog_action_area5 = dialog_action_area5
500 val emptyDialogCancelButton =
501 new GButton.button (GtkButton.Button.cast
502 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
503 method emptyDialogCancelButton = emptyDialogCancelButton
504 val emptyDialogOkButton =
505 new GButton.button (GtkButton.Button.cast
506 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
507 method emptyDialogOkButton = emptyDialogOkButton
508 val emptyDialogLabel =
509 new GMisc.label (GtkMisc.Label.cast
510 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
511 method emptyDialogLabel = emptyDialogLabel
512 method reparent parent =
513 emptyDialogVBox#misc#reparent parent;
515 method check_widgets () = ()
517 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
518 let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
520 inherit Glade.xml ?autoconnect xmldata
522 new GWindow.window (GtkWindow.Window.cast
523 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
524 method toplevel = toplevel
526 new GWindow.window (GtkWindow.Window.cast
527 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
528 method checkWin = checkWin
529 val checkWinEventBox =
530 new GBin.event_box (GtkBin.EventBox.cast
531 (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
532 method checkWinEventBox = checkWinEventBox
534 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
535 (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
536 method scrolledCheck = scrolledCheck
537 method reparent parent =
538 checkWinEventBox#misc#reparent parent;
540 method check_widgets () = ()
543 let check_all ?(show=false) () =
544 ignore (GMain.Main.init ());
545 let checkWin = new checkWin () in
546 if show then checkWin#toplevel#show ();
547 checkWin#check_widgets ();
548 let emptyDialog = new emptyDialog () in
549 if show then emptyDialog#toplevel#show ();
550 emptyDialog#check_widgets ();
551 let interpChoiceDialog = new interpChoiceDialog () in
552 if show then interpChoiceDialog#toplevel#show ();
553 interpChoiceDialog#check_widgets ();
554 let uriChoiceDialog = new uriChoiceDialog () in
555 if show then uriChoiceDialog#toplevel#show ();
556 uriChoiceDialog#check_widgets ();
557 let aboutWin = new aboutWin () in
558 if show then aboutWin#toplevel#show ();
559 aboutWin#check_widgets ();
560 let confirmationDialog = new confirmationDialog () in
561 if show then confirmationDialog#toplevel#show ();
562 confirmationDialog#check_widgets ();
563 let toolBarWin = new toolBarWin () in
564 if show then toolBarWin#toplevel#show ();
565 toolBarWin#check_widgets ();
566 let fileSelectionWin = new fileSelectionWin () in
567 if show then fileSelectionWin#toplevel#show ();
568 fileSelectionWin#check_widgets ();
569 let proofWin = new proofWin () in
570 if show then proofWin#toplevel#show ();
571 proofWin#check_widgets ();
572 let mainWin = new mainWin () in
573 if show then mainWin#toplevel#show ();
574 mainWin#check_widgets ();
575 if show then GMain.Main.main ()