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:"image224" ~info:"GtkImage" xmldata))
42 method image224 = image224
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:"image225" ~info:"GtkImage" xmldata))
62 method image225 = image225
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:"image226" ~info:"GtkImage" xmldata))
70 method image226 = image226
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:"image227" ~info:"GtkImage" xmldata))
78 method image227 = image227
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:"image228" ~info:"GtkImage" xmldata))
90 method image228 = image228
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 newCicBrowserMenuItem =
108 new GMenu.menu_item (GtkMenu.MenuItem.cast
109 (Glade.get_widget_msg ~name:"NewCicBrowserMenuItem" ~info:"GtkMenuItem" xmldata))
110 method newCicBrowserMenuItem = newCicBrowserMenuItem
111 val showScriptMenuItem =
112 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
113 (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
114 method showScriptMenuItem = showScriptMenuItem
116 new GMenu.menu_item (GtkMenu.MenuItem.cast
117 (Glade.get_widget_msg ~name:"separator3" ~info:"GtkSeparatorMenuItem" xmldata))
118 method separator3 = separator3
119 val showConsoleMenuItem =
120 new GMenu.menu_item (GtkMenu.MenuItem.cast
121 (Glade.get_widget_msg ~name:"ShowConsoleMenuItem" ~info:"GtkMenuItem" xmldata))
122 method showConsoleMenuItem = showConsoleMenuItem
124 new GMenu.menu_item (GtkMenu.MenuItem.cast
125 (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
126 method debugMenu = debugMenu
128 new GMenu.menu (GtkMenu.Menu.cast
129 (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
130 method debugMenu_menu = debugMenu_menu
132 new GMenu.menu_item (GtkMenu.MenuItem.cast
133 (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
134 method separator2 = separator2
136 new GMenu.menu_item (GtkMenu.MenuItem.cast
137 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
138 method helpMenu = helpMenu
140 new GMenu.menu (GtkMenu.Menu.cast
141 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
142 method helpMenu_menu = helpMenu_menu
144 new GMenu.menu_item (GtkMenu.MenuItem.cast
145 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
146 method aboutMenuItem = aboutMenuItem
148 new GPack.paned (GtkPack.Paned.cast
149 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
150 method mainVPanes = mainVPanes
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
160 new GPack.box (GtkPack.Box.cast
161 (Glade.get_widget_msg ~name:"ConsoleHBox" ~info:"GtkHBox" xmldata))
162 method consoleHBox = consoleHBox
164 new GPack.box (GtkPack.Box.cast
165 (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
167 val hideConsoleButton =
168 new GButton.button (GtkButton.Button.cast
169 (Glade.get_widget_msg ~name:"HideConsoleButton" ~info:"GtkButton" xmldata))
170 method hideConsoleButton = hideConsoleButton
172 new GMisc.image (GtkMisc.Image.cast
173 (Glade.get_widget_msg ~name:"image169" ~info:"GtkImage" xmldata))
174 method image169 = image169
175 val scrolledConsole =
176 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
177 (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
178 method scrolledConsole = scrolledConsole
180 new GMisc.statusbar (GtkMisc.Statusbar.cast
181 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
182 method mainStatusBar = mainStatusBar
183 method reparent parent =
184 mainWinEventBox#misc#reparent parent;
186 method check_widgets () = ()
188 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
189 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
191 inherit Glade.xml ?autoconnect xmldata
193 new GWindow.window (GtkWindow.Window.cast
194 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
195 method toplevel = toplevel
197 new GWindow.window (GtkWindow.Window.cast
198 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
199 method proofWin = proofWin
200 val proofWinEventBox =
201 new GBin.event_box (GtkBin.EventBox.cast
202 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
203 method proofWinEventBox = proofWinEventBox
205 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
206 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
207 method scrolledProof = scrolledProof
208 method reparent parent =
209 proofWinEventBox#misc#reparent parent;
211 method check_widgets () = ()
213 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
214 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
216 inherit Glade.xml ?autoconnect xmldata
218 new GWindow.file_selection (GtkWindow.FileSelection.cast
219 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
220 method toplevel = toplevel
221 val fileSelectionWin =
222 new GWindow.file_selection (GtkWindow.FileSelection.cast
223 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
224 method fileSelectionWin = fileSelectionWin
225 val fileSelCancelButton =
226 new GButton.button (GtkButton.Button.cast
227 (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
228 method fileSelCancelButton = fileSelCancelButton
229 val fileSelOkButton =
230 new GButton.button (GtkButton.Button.cast
231 (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
232 method fileSelOkButton = fileSelOkButton
233 method check_widgets () = ()
235 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
236 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
238 inherit Glade.xml ?autoconnect xmldata
240 new GWindow.window (GtkWindow.Window.cast
241 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
242 method toplevel = toplevel
244 new GWindow.window (GtkWindow.Window.cast
245 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
246 method toolBarWin = toolBarWin
247 val toolBarEventBox =
248 new GBin.event_box (GtkBin.EventBox.cast
249 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
250 method toolBarEventBox = toolBarEventBox
252 new GPack.box (GtkPack.Box.cast
253 (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
254 method toolBarVBox = toolBarVBox
256 new GButton.toolbar (GtkButton.Toolbar.cast
257 (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
258 method toolbar2 = toolbar2
260 new GButton.button (GtkButton.Button.cast
261 (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
262 method introsButton = introsButton
264 new GButton.button (GtkButton.Button.cast
265 (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
266 method applyButton = applyButton
268 new GButton.button (GtkButton.Button.cast
269 (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
270 method exactButton = exactButton
272 new GButton.toolbar (GtkButton.Toolbar.cast
273 (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
274 method toolbar3 = toolbar3
276 new GButton.button (GtkButton.Button.cast
277 (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
278 method elimButton = elimButton
280 new GButton.button (GtkButton.Button.cast
281 (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
282 method elimTypeButton = elimTypeButton
284 new GButton.toolbar (GtkButton.Toolbar.cast
285 (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
286 method toolbar4 = toolbar4
288 new GButton.button (GtkButton.Button.cast
289 (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
290 method splitButton = splitButton
292 new GButton.button (GtkButton.Button.cast
293 (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
294 method leftButton = leftButton
296 new GButton.button (GtkButton.Button.cast
297 (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
298 method rightButton = rightButton
300 new GButton.button (GtkButton.Button.cast
301 (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
302 method existsButton = existsButton
304 new GButton.toolbar (GtkButton.Toolbar.cast
305 (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
306 method toolbar5 = toolbar5
307 val reflexivityButton =
308 new GButton.button (GtkButton.Button.cast
309 (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
310 method reflexivityButton = reflexivityButton
312 new GButton.button (GtkButton.Button.cast
313 (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
314 method symmetryButton = symmetryButton
315 val transitivityButton =
316 new GButton.button (GtkButton.Button.cast
317 (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
318 method transitivityButton = transitivityButton
320 new GButton.toolbar (GtkButton.Toolbar.cast
321 (Glade.get_widget_msg ~name:"toolbar8" ~info:"GtkToolbar" xmldata))
322 method toolbar8 = toolbar8
324 new GButton.button (GtkButton.Button.cast
325 (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
326 method simplifyButton = simplifyButton
328 new GButton.button (GtkButton.Button.cast
329 (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
330 method reduceButton = reduceButton
332 new GButton.button (GtkButton.Button.cast
333 (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
334 method whdButton = whdButton
336 new GButton.toolbar (GtkButton.Toolbar.cast
337 (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
338 method toolbar6 = toolbar6
339 val assumptionButton =
340 new GButton.button (GtkButton.Button.cast
341 (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
342 method assumptionButton = assumptionButton
344 new GButton.button (GtkButton.Button.cast
345 (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
346 method autoButton = autoButton
348 new GButton.toolbar (GtkButton.Toolbar.cast
349 (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
350 method toolbar7 = toolbar7
352 new GButton.button (GtkButton.Button.cast
353 (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
354 method cutButton = cutButton
356 new GButton.button (GtkButton.Button.cast
357 (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
358 method replaceButton = replaceButton
359 method reparent parent =
360 toolBarEventBox#misc#reparent parent;
362 method check_widgets () = ()
364 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
365 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
367 inherit Glade.xml ?autoconnect xmldata
369 new GWindow.dialog_any (GtkWindow.Dialog.cast
370 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
371 method toplevel = toplevel
372 val confirmationDialog =
373 new GWindow.dialog_any (GtkWindow.Dialog.cast
374 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
375 method confirmationDialog = confirmationDialog
377 new GPack.box (GtkPack.Box.cast
378 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
379 method dialog_vbox1 = dialog_vbox1
380 val dialog_action_area1 =
381 new GPack.button_box (GtkPack.BBox.cast
382 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
383 method dialog_action_area1 = dialog_action_area1
384 val confirmationDialogCancelButton =
385 new GButton.button (GtkButton.Button.cast
386 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
387 method confirmationDialogCancelButton = confirmationDialogCancelButton
388 val confirmationDialogOkButton =
389 new GButton.button (GtkButton.Button.cast
390 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
391 method confirmationDialogOkButton = confirmationDialogOkButton
392 val confirmationDialogLabel =
393 new GMisc.label (GtkMisc.Label.cast
394 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
395 method confirmationDialogLabel = confirmationDialogLabel
396 method reparent parent =
397 dialog_vbox1#misc#reparent parent;
399 method check_widgets () = ()
401 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
402 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
404 inherit Glade.xml ?autoconnect xmldata
406 new GWindow.dialog_any (GtkWindow.Dialog.cast
407 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
408 method toplevel = toplevel
410 new GWindow.dialog_any (GtkWindow.Dialog.cast
411 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
412 method aboutWin = aboutWin
414 new GPack.box (GtkPack.Box.cast
415 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
416 method dialog_vbox2 = dialog_vbox2
417 val dialog_action_area2 =
418 new GPack.button_box (GtkPack.BBox.cast
419 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
420 method dialog_action_area2 = dialog_action_area2
421 val aboutDismissButton =
422 new GButton.button (GtkButton.Button.cast
423 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
424 method aboutDismissButton = aboutDismissButton
426 new GMisc.label (GtkMisc.Label.cast
427 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
428 method aboutLabel = aboutLabel
429 method reparent parent =
430 dialog_vbox2#misc#reparent parent;
432 method check_widgets () = ()
434 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
435 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
437 inherit Glade.xml ?autoconnect xmldata
439 new GWindow.dialog_any (GtkWindow.Dialog.cast
440 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
441 method toplevel = toplevel
442 val uriChoiceDialog =
443 new GWindow.dialog_any (GtkWindow.Dialog.cast
444 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
445 method uriChoiceDialog = uriChoiceDialog
447 new GPack.box (GtkPack.Box.cast
448 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
449 method dialog_vbox3 = dialog_vbox3
450 val dialog_action_area3 =
451 new GPack.button_box (GtkPack.BBox.cast
452 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
453 method dialog_action_area3 = dialog_action_area3
454 val uriChoiceAbortButton =
455 new GButton.button (GtkButton.Button.cast
456 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
457 method uriChoiceAbortButton = uriChoiceAbortButton
458 val uriChoiceSelectedButton =
459 new GButton.button (GtkButton.Button.cast
460 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
461 method uriChoiceSelectedButton = uriChoiceSelectedButton
463 new GBin.alignment (GtkBin.Alignment.cast
464 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
465 method alignment2 = alignment2
467 new GPack.box (GtkPack.Box.cast
468 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
471 new GMisc.image (GtkMisc.Image.cast
472 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
473 method image19 = image19
475 new GMisc.label (GtkMisc.Label.cast
476 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
477 method label3 = label3
478 val uriChoiceConstantsButton =
479 new GButton.button (GtkButton.Button.cast
480 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
481 method uriChoiceConstantsButton = uriChoiceConstantsButton
482 val uriChoiceAutoButton =
483 new GButton.button (GtkButton.Button.cast
484 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
485 method uriChoiceAutoButton = uriChoiceAutoButton
487 new GBin.alignment (GtkBin.Alignment.cast
488 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
489 method alignment1 = alignment1
491 new GPack.box (GtkPack.Box.cast
492 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
495 new GMisc.image (GtkMisc.Image.cast
496 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
497 method image18 = image18
499 new GMisc.label (GtkMisc.Label.cast
500 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
501 method label1 = label1
503 new GPack.box (GtkPack.Box.cast
504 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
507 new GMisc.label (GtkMisc.Label.cast
508 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
509 method uriChoiceLabel = uriChoiceLabel
510 val scrolledwindow1 =
511 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
512 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
513 method scrolledwindow1 = scrolledwindow1
514 val uriChoiceTreeView =
515 new GTree.view (GtkTree.TreeView.cast
516 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
517 method uriChoiceTreeView = uriChoiceTreeView
519 new GPack.box (GtkPack.Box.cast
520 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
523 new GMisc.label (GtkMisc.Label.cast
524 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
525 method label2 = label2
527 new GEdit.entry (GtkEdit.Entry.cast
528 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
529 method entry1 = entry1
530 method reparent parent =
531 dialog_vbox3#misc#reparent parent;
533 method check_widgets () = ()
535 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
536 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
538 inherit Glade.xml ?autoconnect xmldata
540 new GWindow.dialog_any (GtkWindow.Dialog.cast
541 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
542 method toplevel = toplevel
543 val interpChoiceDialog =
544 new GWindow.dialog_any (GtkWindow.Dialog.cast
545 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
546 method interpChoiceDialog = interpChoiceDialog
548 new GPack.box (GtkPack.Box.cast
549 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
550 method dialog_vbox4 = dialog_vbox4
551 val dialog_action_area4 =
552 new GPack.button_box (GtkPack.BBox.cast
553 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
554 method dialog_action_area4 = dialog_action_area4
555 val interpChoiceHelpButton =
556 new GButton.button (GtkButton.Button.cast
557 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
558 method interpChoiceHelpButton = interpChoiceHelpButton
559 val interpChoiceCancelButton =
560 new GButton.button (GtkButton.Button.cast
561 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
562 method interpChoiceCancelButton = interpChoiceCancelButton
563 val interpChoiceOkButton =
564 new GButton.button (GtkButton.Button.cast
565 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
566 method interpChoiceOkButton = interpChoiceOkButton
568 new GPack.box (GtkPack.Box.cast
569 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
571 val interpChoiceDialogLabel =
572 new GMisc.label (GtkMisc.Label.cast
573 (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
574 method interpChoiceDialogLabel = interpChoiceDialogLabel
575 val scrolledwindow4 =
576 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
577 (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
578 method scrolledwindow4 = scrolledwindow4
579 val interpChoiceTreeView =
580 new GTree.view (GtkTree.TreeView.cast
581 (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
582 method interpChoiceTreeView = interpChoiceTreeView
583 method reparent parent =
584 dialog_vbox4#misc#reparent parent;
586 method check_widgets () = ()
588 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
589 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
591 inherit Glade.xml ?autoconnect xmldata
593 new GWindow.dialog_any (GtkWindow.Dialog.cast
594 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
595 method toplevel = toplevel
597 new GWindow.dialog_any (GtkWindow.Dialog.cast
598 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
599 method emptyDialog = emptyDialog
600 val emptyDialogVBox =
601 new GPack.box (GtkPack.Box.cast
602 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
603 method emptyDialogVBox = emptyDialogVBox
604 val dialog_action_area5 =
605 new GPack.button_box (GtkPack.BBox.cast
606 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
607 method dialog_action_area5 = dialog_action_area5
608 val emptyDialogCancelButton =
609 new GButton.button (GtkButton.Button.cast
610 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
611 method emptyDialogCancelButton = emptyDialogCancelButton
612 val emptyDialogOkButton =
613 new GButton.button (GtkButton.Button.cast
614 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
615 method emptyDialogOkButton = emptyDialogOkButton
616 val emptyDialogLabel =
617 new GMisc.label (GtkMisc.Label.cast
618 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
619 method emptyDialogLabel = emptyDialogLabel
620 method reparent parent =
621 emptyDialogVBox#misc#reparent parent;
623 method check_widgets () = ()
625 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
626 let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
628 inherit Glade.xml ?autoconnect xmldata
630 new GWindow.window (GtkWindow.Window.cast
631 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
632 method toplevel = toplevel
634 new GWindow.window (GtkWindow.Window.cast
635 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
636 method checkWin = checkWin
637 val checkWinEventBox =
638 new GBin.event_box (GtkBin.EventBox.cast
639 (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
640 method checkWinEventBox = checkWinEventBox
642 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
643 (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
644 method scrolledCheck = scrolledCheck
645 method reparent parent =
646 checkWinEventBox#misc#reparent parent;
648 method check_widgets () = ()
650 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
651 let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
653 inherit Glade.xml ?autoconnect xmldata
655 new GWindow.window (GtkWindow.Window.cast
656 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
657 method toplevel = toplevel
659 new GWindow.window (GtkWindow.Window.cast
660 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
661 method scriptWin = scriptWin
662 val scriptWinEventBox =
663 new GBin.event_box (GtkBin.EventBox.cast
664 (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
665 method scriptWinEventBox = scriptWinEventBox
667 new GPack.notebook (GtkPack.Notebook.cast
668 (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
669 method scriptNotebook = scriptNotebook
671 new GPack.box (GtkPack.Box.cast
672 (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
675 new GButton.toolbar (GtkButton.Toolbar.cast
676 (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
677 method toolbar1 = toolbar1
678 val scriptWinBackButton =
679 new GButton.button (GtkButton.Button.cast
680 (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
681 method scriptWinBackButton = scriptWinBackButton
683 new GMisc.image (GtkMisc.Image.cast
684 (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
685 method image133 = image133
686 val scriptWinJumpButton =
687 new GButton.button (GtkButton.Button.cast
688 (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
689 method scriptWinJumpButton = scriptWinJumpButton
691 new GMisc.image (GtkMisc.Image.cast
692 (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
693 method image134 = image134
694 val scriptWinForwardButton =
695 new GButton.button (GtkButton.Button.cast
696 (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
697 method scriptWinForwardButton = scriptWinForwardButton
699 new GMisc.image (GtkMisc.Image.cast
700 (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
701 method image135 = image135
703 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
704 (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
705 method scrolledScript = scrolledScript
707 new GText.view (GtkText.View.cast
708 (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
709 method scriptTextView = scriptTextView
711 new GMisc.label (GtkMisc.Label.cast
712 (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
713 method label7 = label7
714 val scrolledwindow3 =
715 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
716 (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
717 method scrolledwindow3 = scrolledwindow3
719 new GTree.view (GtkTree.TreeView.cast
720 (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
721 method treeview1 = treeview1
723 new GMisc.label (GtkMisc.Label.cast
724 (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
725 method label8 = label8
726 method reparent parent =
727 scriptWinEventBox#misc#reparent parent;
729 method check_widgets () = ()
731 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
732 let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
734 inherit Glade.xml ?autoconnect xmldata
736 new GWindow.dialog_any (GtkWindow.Dialog.cast
737 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
738 method toplevel = toplevel
740 new GWindow.dialog_any (GtkWindow.Dialog.cast
741 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
742 method textDialog = textDialog
744 new GPack.box (GtkPack.Box.cast
745 (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
748 new GPack.button_box (GtkPack.BBox.cast
749 (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
750 method hbuttonbox1 = hbuttonbox1
751 val textDialogCancelButton =
752 new GButton.button (GtkButton.Button.cast
753 (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
754 method textDialogCancelButton = textDialogCancelButton
755 val textDialogOkButton =
756 new GButton.button (GtkButton.Button.cast
757 (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
758 method textDialogOkButton = textDialogOkButton
759 val textDialogLabel =
760 new GMisc.label (GtkMisc.Label.cast
761 (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
762 method textDialogLabel = textDialogLabel
763 val scrolledwindow2 =
764 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
765 (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
766 method scrolledwindow2 = scrolledwindow2
767 val textDialogTextView =
768 new GText.view (GtkText.View.cast
769 (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
770 method textDialogTextView = textDialogTextView
771 method reparent parent =
772 vbox5#misc#reparent parent;
774 method check_widgets () = ()
776 class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
777 let xmldata = Glade.create ~file ~root:"BrowserWin" ?domain () in
779 inherit Glade.xml ?autoconnect xmldata
781 new GWindow.window (GtkWindow.Window.cast
782 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
783 method toplevel = toplevel
785 new GWindow.window (GtkWindow.Window.cast
786 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
787 method browserWin = browserWin
788 val browserWinEventBox =
789 new GBin.event_box (GtkBin.EventBox.cast
790 (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
791 method browserWinEventBox = browserWinEventBox
793 new GPack.box (GtkPack.Box.cast
794 (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
795 method browserVBox = browserVBox
797 new GPack.box (GtkPack.Box.cast
798 (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
800 val browserNewButton =
801 new GButton.button (GtkButton.Button.cast
802 (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
803 method browserNewButton = browserNewButton
805 new GMisc.image (GtkMisc.Image.cast
806 (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
807 method image191 = image191
808 val browserBackButton =
809 new GButton.button (GtkButton.Button.cast
810 (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
811 method browserBackButton = browserBackButton
813 new GBin.alignment (GtkBin.Alignment.cast
814 (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
815 method alignment3 = alignment3
817 new GPack.box (GtkPack.Box.cast
818 (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
821 new GMisc.image (GtkMisc.Image.cast
822 (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
823 method image188 = image188
825 new GMisc.label (GtkMisc.Label.cast
826 (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
827 method label10 = label10
828 val browserForwardButton =
829 new GButton.button (GtkButton.Button.cast
830 (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
831 method browserForwardButton = browserForwardButton
833 new GMisc.image (GtkMisc.Image.cast
834 (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
835 method image189 = image189
836 val browserRefreshButton =
837 new GButton.button (GtkButton.Button.cast
838 (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
839 method browserRefreshButton = browserRefreshButton
841 new GMisc.image (GtkMisc.Image.cast
842 (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
843 method image229 = image229
844 val browserHomeButton =
845 new GButton.button (GtkButton.Button.cast
846 (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
847 method browserHomeButton = browserHomeButton
849 new GMisc.image (GtkMisc.Image.cast
850 (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
851 method image190 = image190
853 new GMisc.image (GtkMisc.Image.cast
854 (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
855 method image187 = image187
857 new GEdit.entry (GtkEdit.Entry.cast
858 (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
859 method browserUri = browserUri
861 new GBin.frame (GtkBin.Frame.cast
862 (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
863 method frame1 = frame1
864 val scrolledBrowser =
865 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
866 (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
867 method scrolledBrowser = scrolledBrowser
868 method reparent parent =
869 browserWinEventBox#misc#reparent parent;
871 method check_widgets () = ()
874 let check_all ?(show=false) () =
875 ignore (GMain.Main.init ());
876 let browserWin = new browserWin () in
877 if show then browserWin#toplevel#show ();
878 browserWin#check_widgets ();
879 let textDialog = new textDialog () in
880 if show then textDialog#toplevel#show ();
881 textDialog#check_widgets ();
882 let scriptWin = new scriptWin () in
883 if show then scriptWin#toplevel#show ();
884 scriptWin#check_widgets ();
885 let checkWin = new checkWin () in
886 if show then checkWin#toplevel#show ();
887 checkWin#check_widgets ();
888 let emptyDialog = new emptyDialog () in
889 if show then emptyDialog#toplevel#show ();
890 emptyDialog#check_widgets ();
891 let interpChoiceDialog = new interpChoiceDialog () in
892 if show then interpChoiceDialog#toplevel#show ();
893 interpChoiceDialog#check_widgets ();
894 let uriChoiceDialog = new uriChoiceDialog () in
895 if show then uriChoiceDialog#toplevel#show ();
896 uriChoiceDialog#check_widgets ();
897 let aboutWin = new aboutWin () in
898 if show then aboutWin#toplevel#show ();
899 aboutWin#check_widgets ();
900 let confirmationDialog = new confirmationDialog () in
901 if show then confirmationDialog#toplevel#show ();
902 confirmationDialog#check_widgets ();
903 let toolBarWin = new toolBarWin () in
904 if show then toolBarWin#toplevel#show ();
905 toolBarWin#check_widgets ();
906 let fileSelectionWin = new fileSelectionWin () in
907 if show then fileSelectionWin#toplevel#show ();
908 fileSelectionWin#check_widgets ();
909 let proofWin = new proofWin () in
910 if show then proofWin#toplevel#show ();
911 proofWin#check_widgets ();
912 let mainWin = new mainWin () in
913 if show then mainWin#toplevel#show ();
914 mainWin#check_widgets ();
915 if show then GMain.Main.main ()