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:"image164" ~info:"GtkImage" xmldata))
42 method image164 = image164
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:"image165" ~info:"GtkImage" xmldata))
62 method image165 = image165
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:"image166" ~info:"GtkImage" xmldata))
70 method image166 = image166
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:"image167" ~info:"GtkImage" xmldata))
78 method image167 = image167
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:"image168" ~info:"GtkImage" xmldata))
90 method image168 = image168
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
115 val showScriptMenuItem =
116 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
117 (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
118 method showScriptMenuItem = showScriptMenuItem
120 new GMenu.menu_item (GtkMenu.MenuItem.cast
121 (Glade.get_widget_msg ~name:"separator3" ~info:"GtkSeparatorMenuItem" xmldata))
122 method separator3 = separator3
123 val showConsoleMenuItem =
124 new GMenu.menu_item (GtkMenu.MenuItem.cast
125 (Glade.get_widget_msg ~name:"ShowConsoleMenuItem" ~info:"GtkMenuItem" xmldata))
126 method showConsoleMenuItem = showConsoleMenuItem
128 new GMenu.menu_item (GtkMenu.MenuItem.cast
129 (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
130 method debugMenu = debugMenu
132 new GMenu.menu (GtkMenu.Menu.cast
133 (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
134 method debugMenu_menu = debugMenu_menu
136 new GMenu.menu_item (GtkMenu.MenuItem.cast
137 (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
138 method separator2 = separator2
140 new GMenu.menu_item (GtkMenu.MenuItem.cast
141 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
142 method helpMenu = helpMenu
144 new GMenu.menu (GtkMenu.Menu.cast
145 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
146 method helpMenu_menu = helpMenu_menu
148 new GMenu.menu_item (GtkMenu.MenuItem.cast
149 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
150 method aboutMenuItem = aboutMenuItem
152 new GPack.paned (GtkPack.Paned.cast
153 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
154 method mainVPanes = mainVPanes
155 val sequentsNotebook =
156 new GPack.notebook (GtkPack.Notebook.cast
157 (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
158 method sequentsNotebook = sequentsNotebook
159 val consoleEventBox =
160 new GBin.event_box (GtkBin.EventBox.cast
161 (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
162 method consoleEventBox = consoleEventBox
164 new GPack.box (GtkPack.Box.cast
165 (Glade.get_widget_msg ~name:"hbox4" ~info:"GtkHBox" xmldata))
168 new GPack.box (GtkPack.Box.cast
169 (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
171 val hideConsoleButton =
172 new GButton.button (GtkButton.Button.cast
173 (Glade.get_widget_msg ~name:"HideConsoleButton" ~info:"GtkButton" xmldata))
174 method hideConsoleButton = hideConsoleButton
176 new GMisc.image (GtkMisc.Image.cast
177 (Glade.get_widget_msg ~name:"image169" ~info:"GtkImage" xmldata))
178 method image169 = image169
179 val scrolledConsole =
180 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
181 (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
182 method scrolledConsole = scrolledConsole
184 new GMisc.statusbar (GtkMisc.Statusbar.cast
185 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
186 method mainStatusBar = mainStatusBar
187 method reparent parent =
188 mainWinEventBox#misc#reparent parent;
190 method check_widgets () = ()
192 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
193 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
195 inherit Glade.xml ?autoconnect xmldata
197 new GWindow.window (GtkWindow.Window.cast
198 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
199 method toplevel = toplevel
201 new GWindow.window (GtkWindow.Window.cast
202 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
203 method proofWin = proofWin
204 val proofWinEventBox =
205 new GBin.event_box (GtkBin.EventBox.cast
206 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
207 method proofWinEventBox = proofWinEventBox
209 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
210 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
211 method scrolledProof = scrolledProof
212 method reparent parent =
213 proofWinEventBox#misc#reparent parent;
215 method check_widgets () = ()
217 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
218 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
220 inherit Glade.xml ?autoconnect xmldata
222 new GWindow.file_selection (GtkWindow.FileSelection.cast
223 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
224 method toplevel = toplevel
225 val fileSelectionWin =
226 new GWindow.file_selection (GtkWindow.FileSelection.cast
227 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
228 method fileSelectionWin = fileSelectionWin
229 val fileSelCancelButton =
230 new GButton.button (GtkButton.Button.cast
231 (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
232 method fileSelCancelButton = fileSelCancelButton
233 val fileSelOkButton =
234 new GButton.button (GtkButton.Button.cast
235 (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
236 method fileSelOkButton = fileSelOkButton
237 method check_widgets () = ()
239 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
240 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
242 inherit Glade.xml ?autoconnect xmldata
244 new GWindow.window (GtkWindow.Window.cast
245 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
246 method toplevel = toplevel
248 new GWindow.window (GtkWindow.Window.cast
249 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
250 method toolBarWin = toolBarWin
251 val toolBarEventBox =
252 new GBin.event_box (GtkBin.EventBox.cast
253 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
254 method toolBarEventBox = toolBarEventBox
256 new GPack.box (GtkPack.Box.cast
257 (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
258 method toolBarVBox = toolBarVBox
260 new GButton.toolbar (GtkButton.Toolbar.cast
261 (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
262 method toolbar2 = toolbar2
264 new GButton.button (GtkButton.Button.cast
265 (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
266 method introsButton = introsButton
268 new GButton.button (GtkButton.Button.cast
269 (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
270 method applyButton = applyButton
272 new GButton.button (GtkButton.Button.cast
273 (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
274 method exactButton = exactButton
276 new GButton.toolbar (GtkButton.Toolbar.cast
277 (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
278 method toolbar3 = toolbar3
280 new GButton.button (GtkButton.Button.cast
281 (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
282 method elimButton = elimButton
284 new GButton.button (GtkButton.Button.cast
285 (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
286 method elimTypeButton = elimTypeButton
288 new GButton.toolbar (GtkButton.Toolbar.cast
289 (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
290 method toolbar4 = toolbar4
292 new GButton.button (GtkButton.Button.cast
293 (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
294 method splitButton = splitButton
296 new GButton.button (GtkButton.Button.cast
297 (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
298 method leftButton = leftButton
300 new GButton.button (GtkButton.Button.cast
301 (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
302 method rightButton = rightButton
304 new GButton.button (GtkButton.Button.cast
305 (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
306 method existsButton = existsButton
308 new GButton.toolbar (GtkButton.Toolbar.cast
309 (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
310 method toolbar5 = toolbar5
311 val reflexivityButton =
312 new GButton.button (GtkButton.Button.cast
313 (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
314 method reflexivityButton = reflexivityButton
316 new GButton.button (GtkButton.Button.cast
317 (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
318 method symmetryButton = symmetryButton
319 val transitivityButton =
320 new GButton.button (GtkButton.Button.cast
321 (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
322 method transitivityButton = transitivityButton
324 new GButton.toolbar (GtkButton.Toolbar.cast
325 (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
326 method toolbar6 = toolbar6
327 val assumptionButton =
328 new GButton.button (GtkButton.Button.cast
329 (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
330 method assumptionButton = assumptionButton
332 new GButton.button (GtkButton.Button.cast
333 (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
334 method autoButton = autoButton
336 new GButton.toolbar (GtkButton.Toolbar.cast
337 (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
338 method toolbar7 = toolbar7
340 new GButton.button (GtkButton.Button.cast
341 (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
342 method cutButton = cutButton
344 new GButton.button (GtkButton.Button.cast
345 (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
346 method replaceButton = replaceButton
347 method reparent parent =
348 toolBarEventBox#misc#reparent parent;
350 method check_widgets () = ()
352 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
353 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
355 inherit Glade.xml ?autoconnect xmldata
357 new GWindow.dialog_any (GtkWindow.Dialog.cast
358 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
359 method toplevel = toplevel
360 val confirmationDialog =
361 new GWindow.dialog_any (GtkWindow.Dialog.cast
362 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
363 method confirmationDialog = confirmationDialog
365 new GPack.box (GtkPack.Box.cast
366 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
367 method dialog_vbox1 = dialog_vbox1
368 val dialog_action_area1 =
369 new GPack.button_box (GtkPack.BBox.cast
370 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
371 method dialog_action_area1 = dialog_action_area1
372 val confirmationDialogCancelButton =
373 new GButton.button (GtkButton.Button.cast
374 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
375 method confirmationDialogCancelButton = confirmationDialogCancelButton
376 val confirmationDialogOkButton =
377 new GButton.button (GtkButton.Button.cast
378 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
379 method confirmationDialogOkButton = confirmationDialogOkButton
380 val confirmationDialogLabel =
381 new GMisc.label (GtkMisc.Label.cast
382 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
383 method confirmationDialogLabel = confirmationDialogLabel
384 method reparent parent =
385 dialog_vbox1#misc#reparent parent;
387 method check_widgets () = ()
389 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
390 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
392 inherit Glade.xml ?autoconnect xmldata
394 new GWindow.dialog_any (GtkWindow.Dialog.cast
395 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
396 method toplevel = toplevel
398 new GWindow.dialog_any (GtkWindow.Dialog.cast
399 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
400 method aboutWin = aboutWin
402 new GPack.box (GtkPack.Box.cast
403 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
404 method dialog_vbox2 = dialog_vbox2
405 val dialog_action_area2 =
406 new GPack.button_box (GtkPack.BBox.cast
407 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
408 method dialog_action_area2 = dialog_action_area2
409 val aboutDismissButton =
410 new GButton.button (GtkButton.Button.cast
411 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
412 method aboutDismissButton = aboutDismissButton
414 new GMisc.label (GtkMisc.Label.cast
415 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
416 method aboutLabel = aboutLabel
417 method reparent parent =
418 dialog_vbox2#misc#reparent parent;
420 method check_widgets () = ()
422 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
423 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
425 inherit Glade.xml ?autoconnect xmldata
427 new GWindow.dialog_any (GtkWindow.Dialog.cast
428 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
429 method toplevel = toplevel
430 val uriChoiceDialog =
431 new GWindow.dialog_any (GtkWindow.Dialog.cast
432 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
433 method uriChoiceDialog = uriChoiceDialog
435 new GPack.box (GtkPack.Box.cast
436 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
437 method dialog_vbox3 = dialog_vbox3
438 val dialog_action_area3 =
439 new GPack.button_box (GtkPack.BBox.cast
440 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
441 method dialog_action_area3 = dialog_action_area3
442 val uriChoiceAbortButton =
443 new GButton.button (GtkButton.Button.cast
444 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
445 method uriChoiceAbortButton = uriChoiceAbortButton
446 val uriChoiceSelectedButton =
447 new GButton.button (GtkButton.Button.cast
448 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
449 method uriChoiceSelectedButton = uriChoiceSelectedButton
451 new GBin.alignment (GtkBin.Alignment.cast
452 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
453 method alignment2 = alignment2
455 new GPack.box (GtkPack.Box.cast
456 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
459 new GMisc.image (GtkMisc.Image.cast
460 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
461 method image19 = image19
463 new GMisc.label (GtkMisc.Label.cast
464 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
465 method label3 = label3
466 val uriChoiceConstantsButton =
467 new GButton.button (GtkButton.Button.cast
468 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
469 method uriChoiceConstantsButton = uriChoiceConstantsButton
470 val uriChoiceAutoButton =
471 new GButton.button (GtkButton.Button.cast
472 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
473 method uriChoiceAutoButton = uriChoiceAutoButton
475 new GBin.alignment (GtkBin.Alignment.cast
476 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
477 method alignment1 = alignment1
479 new GPack.box (GtkPack.Box.cast
480 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
483 new GMisc.image (GtkMisc.Image.cast
484 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
485 method image18 = image18
487 new GMisc.label (GtkMisc.Label.cast
488 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
489 method label1 = label1
491 new GPack.box (GtkPack.Box.cast
492 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
495 new GMisc.label (GtkMisc.Label.cast
496 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
497 method uriChoiceLabel = uriChoiceLabel
498 val scrolledwindow1 =
499 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
500 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
501 method scrolledwindow1 = scrolledwindow1
502 val uriChoiceTreeView =
503 new GTree.view (GtkTree.TreeView.cast
504 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
505 method uriChoiceTreeView = uriChoiceTreeView
507 new GPack.box (GtkPack.Box.cast
508 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
511 new GMisc.label (GtkMisc.Label.cast
512 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
513 method label2 = label2
515 new GEdit.entry (GtkEdit.Entry.cast
516 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
517 method entry1 = entry1
518 method reparent parent =
519 dialog_vbox3#misc#reparent parent;
521 method check_widgets () = ()
523 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
524 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
526 inherit Glade.xml ?autoconnect xmldata
528 new GWindow.dialog_any (GtkWindow.Dialog.cast
529 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
530 method toplevel = toplevel
531 val interpChoiceDialog =
532 new GWindow.dialog_any (GtkWindow.Dialog.cast
533 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
534 method interpChoiceDialog = interpChoiceDialog
536 new GPack.box (GtkPack.Box.cast
537 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
538 method dialog_vbox4 = dialog_vbox4
539 val dialog_action_area4 =
540 new GPack.button_box (GtkPack.BBox.cast
541 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
542 method dialog_action_area4 = dialog_action_area4
543 val interpChoiceHelpButton =
544 new GButton.button (GtkButton.Button.cast
545 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
546 method interpChoiceHelpButton = interpChoiceHelpButton
547 val interpChoiceCancelButton =
548 new GButton.button (GtkButton.Button.cast
549 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
550 method interpChoiceCancelButton = interpChoiceCancelButton
551 val interpChoiceOkButton =
552 new GButton.button (GtkButton.Button.cast
553 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
554 method interpChoiceOkButton = interpChoiceOkButton
556 new GPack.box (GtkPack.Box.cast
557 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
559 val interpChoiceDialogLabel =
560 new GMisc.label (GtkMisc.Label.cast
561 (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
562 method interpChoiceDialogLabel = interpChoiceDialogLabel
563 val scrolledwindow4 =
564 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
565 (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
566 method scrolledwindow4 = scrolledwindow4
567 val interpChoiceTreeView =
568 new GTree.view (GtkTree.TreeView.cast
569 (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
570 method interpChoiceTreeView = interpChoiceTreeView
571 method reparent parent =
572 dialog_vbox4#misc#reparent parent;
574 method check_widgets () = ()
576 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
577 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
579 inherit Glade.xml ?autoconnect xmldata
581 new GWindow.dialog_any (GtkWindow.Dialog.cast
582 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
583 method toplevel = toplevel
585 new GWindow.dialog_any (GtkWindow.Dialog.cast
586 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
587 method emptyDialog = emptyDialog
588 val emptyDialogVBox =
589 new GPack.box (GtkPack.Box.cast
590 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
591 method emptyDialogVBox = emptyDialogVBox
592 val dialog_action_area5 =
593 new GPack.button_box (GtkPack.BBox.cast
594 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
595 method dialog_action_area5 = dialog_action_area5
596 val emptyDialogCancelButton =
597 new GButton.button (GtkButton.Button.cast
598 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
599 method emptyDialogCancelButton = emptyDialogCancelButton
600 val emptyDialogOkButton =
601 new GButton.button (GtkButton.Button.cast
602 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
603 method emptyDialogOkButton = emptyDialogOkButton
604 val emptyDialogLabel =
605 new GMisc.label (GtkMisc.Label.cast
606 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
607 method emptyDialogLabel = emptyDialogLabel
608 method reparent parent =
609 emptyDialogVBox#misc#reparent parent;
611 method check_widgets () = ()
613 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
614 let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
616 inherit Glade.xml ?autoconnect xmldata
618 new GWindow.window (GtkWindow.Window.cast
619 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
620 method toplevel = toplevel
622 new GWindow.window (GtkWindow.Window.cast
623 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
624 method checkWin = checkWin
625 val checkWinEventBox =
626 new GBin.event_box (GtkBin.EventBox.cast
627 (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
628 method checkWinEventBox = checkWinEventBox
630 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
631 (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
632 method scrolledCheck = scrolledCheck
633 method reparent parent =
634 checkWinEventBox#misc#reparent parent;
636 method check_widgets () = ()
638 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
639 let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
641 inherit Glade.xml ?autoconnect xmldata
643 new GWindow.window (GtkWindow.Window.cast
644 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
645 method toplevel = toplevel
647 new GWindow.window (GtkWindow.Window.cast
648 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
649 method scriptWin = scriptWin
650 val scriptWinEventBox =
651 new GBin.event_box (GtkBin.EventBox.cast
652 (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
653 method scriptWinEventBox = scriptWinEventBox
655 new GPack.notebook (GtkPack.Notebook.cast
656 (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
657 method scriptNotebook = scriptNotebook
659 new GPack.box (GtkPack.Box.cast
660 (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
663 new GButton.toolbar (GtkButton.Toolbar.cast
664 (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
665 method toolbar1 = toolbar1
666 val scriptWinBackButton =
667 new GButton.button (GtkButton.Button.cast
668 (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
669 method scriptWinBackButton = scriptWinBackButton
671 new GMisc.image (GtkMisc.Image.cast
672 (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
673 method image133 = image133
674 val scriptWinJumpButton =
675 new GButton.button (GtkButton.Button.cast
676 (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
677 method scriptWinJumpButton = scriptWinJumpButton
679 new GMisc.image (GtkMisc.Image.cast
680 (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
681 method image134 = image134
682 val scriptWinForwardButton =
683 new GButton.button (GtkButton.Button.cast
684 (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
685 method scriptWinForwardButton = scriptWinForwardButton
687 new GMisc.image (GtkMisc.Image.cast
688 (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
689 method image135 = image135
691 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
692 (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
693 method scrolledScript = scrolledScript
695 new GText.view (GtkText.View.cast
696 (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
697 method scriptTextView = scriptTextView
699 new GMisc.label (GtkMisc.Label.cast
700 (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
701 method label7 = label7
702 val scrolledwindow3 =
703 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
704 (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
705 method scrolledwindow3 = scrolledwindow3
707 new GTree.view (GtkTree.TreeView.cast
708 (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
709 method treeview1 = treeview1
711 new GMisc.label (GtkMisc.Label.cast
712 (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
713 method label8 = label8
714 method reparent parent =
715 scriptWinEventBox#misc#reparent parent;
717 method check_widgets () = ()
719 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
720 let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
722 inherit Glade.xml ?autoconnect xmldata
724 new GWindow.dialog_any (GtkWindow.Dialog.cast
725 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
726 method toplevel = toplevel
728 new GWindow.dialog_any (GtkWindow.Dialog.cast
729 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
730 method textDialog = textDialog
732 new GPack.box (GtkPack.Box.cast
733 (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
736 new GPack.button_box (GtkPack.BBox.cast
737 (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
738 method hbuttonbox1 = hbuttonbox1
739 val textDialogCancelButton =
740 new GButton.button (GtkButton.Button.cast
741 (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
742 method textDialogCancelButton = textDialogCancelButton
743 val textDialogOkButton =
744 new GButton.button (GtkButton.Button.cast
745 (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
746 method textDialogOkButton = textDialogOkButton
747 val textDialogLabel =
748 new GMisc.label (GtkMisc.Label.cast
749 (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
750 method textDialogLabel = textDialogLabel
751 val scrolledwindow2 =
752 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
753 (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
754 method scrolledwindow2 = scrolledwindow2
755 val textDialogTextView =
756 new GText.view (GtkText.View.cast
757 (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
758 method textDialogTextView = textDialogTextView
759 method reparent parent =
760 vbox5#misc#reparent parent;
762 method check_widgets () = ()
765 let check_all ?(show=false) () =
766 ignore (GMain.Main.init ());
767 let textDialog = new textDialog () in
768 if show then textDialog#toplevel#show ();
769 textDialog#check_widgets ();
770 let scriptWin = new scriptWin () in
771 if show then scriptWin#toplevel#show ();
772 scriptWin#check_widgets ();
773 let checkWin = new checkWin () in
774 if show then checkWin#toplevel#show ();
775 checkWin#check_widgets ();
776 let emptyDialog = new emptyDialog () in
777 if show then emptyDialog#toplevel#show ();
778 emptyDialog#check_widgets ();
779 let interpChoiceDialog = new interpChoiceDialog () in
780 if show then interpChoiceDialog#toplevel#show ();
781 interpChoiceDialog#check_widgets ();
782 let uriChoiceDialog = new uriChoiceDialog () in
783 if show then uriChoiceDialog#toplevel#show ();
784 uriChoiceDialog#check_widgets ();
785 let aboutWin = new aboutWin () in
786 if show then aboutWin#toplevel#show ();
787 aboutWin#check_widgets ();
788 let confirmationDialog = new confirmationDialog () in
789 if show then confirmationDialog#toplevel#show ();
790 confirmationDialog#check_widgets ();
791 let toolBarWin = new toolBarWin () in
792 if show then toolBarWin#toplevel#show ();
793 toolBarWin#check_widgets ();
794 let fileSelectionWin = new fileSelectionWin () in
795 if show then fileSelectionWin#toplevel#show ();
796 fileSelectionWin#check_widgets ();
797 let proofWin = new proofWin () in
798 if show then proofWin#toplevel#show ();
799 proofWin#check_widgets ();
800 let mainWin = new mainWin () in
801 if show then mainWin#toplevel#show ();
802 mainWin#check_widgets ();
803 if show then GMain.Main.main ()