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:"image174" ~info:"GtkImage" xmldata))
42 method image174 = image174
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:"image175" ~info:"GtkImage" xmldata))
62 method image175 = image175
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:"image176" ~info:"GtkImage" xmldata))
70 method image176 = image176
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:"image177" ~info:"GtkImage" xmldata))
78 method image177 = image177
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:"image178" ~info:"GtkImage" xmldata))
90 method image178 = image178
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:"ConsoleHBox" ~info:"GtkHBox" xmldata))
166 method consoleHBox = consoleHBox
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:"toolbar8" ~info:"GtkToolbar" xmldata))
326 method toolbar8 = toolbar8
328 new GButton.button (GtkButton.Button.cast
329 (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
330 method simplifyButton = simplifyButton
332 new GButton.button (GtkButton.Button.cast
333 (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
334 method reduceButton = reduceButton
336 new GButton.button (GtkButton.Button.cast
337 (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
338 method whdButton = whdButton
340 new GButton.toolbar (GtkButton.Toolbar.cast
341 (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
342 method toolbar6 = toolbar6
343 val assumptionButton =
344 new GButton.button (GtkButton.Button.cast
345 (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
346 method assumptionButton = assumptionButton
348 new GButton.button (GtkButton.Button.cast
349 (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
350 method autoButton = autoButton
352 new GButton.toolbar (GtkButton.Toolbar.cast
353 (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
354 method toolbar7 = toolbar7
356 new GButton.button (GtkButton.Button.cast
357 (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
358 method cutButton = cutButton
360 new GButton.button (GtkButton.Button.cast
361 (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
362 method replaceButton = replaceButton
363 method reparent parent =
364 toolBarEventBox#misc#reparent parent;
366 method check_widgets () = ()
368 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
369 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
371 inherit Glade.xml ?autoconnect xmldata
373 new GWindow.dialog_any (GtkWindow.Dialog.cast
374 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
375 method toplevel = toplevel
376 val confirmationDialog =
377 new GWindow.dialog_any (GtkWindow.Dialog.cast
378 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
379 method confirmationDialog = confirmationDialog
381 new GPack.box (GtkPack.Box.cast
382 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
383 method dialog_vbox1 = dialog_vbox1
384 val dialog_action_area1 =
385 new GPack.button_box (GtkPack.BBox.cast
386 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
387 method dialog_action_area1 = dialog_action_area1
388 val confirmationDialogCancelButton =
389 new GButton.button (GtkButton.Button.cast
390 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
391 method confirmationDialogCancelButton = confirmationDialogCancelButton
392 val confirmationDialogOkButton =
393 new GButton.button (GtkButton.Button.cast
394 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
395 method confirmationDialogOkButton = confirmationDialogOkButton
396 val confirmationDialogLabel =
397 new GMisc.label (GtkMisc.Label.cast
398 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
399 method confirmationDialogLabel = confirmationDialogLabel
400 method reparent parent =
401 dialog_vbox1#misc#reparent parent;
403 method check_widgets () = ()
405 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
406 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
408 inherit Glade.xml ?autoconnect xmldata
410 new GWindow.dialog_any (GtkWindow.Dialog.cast
411 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
412 method toplevel = toplevel
414 new GWindow.dialog_any (GtkWindow.Dialog.cast
415 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
416 method aboutWin = aboutWin
418 new GPack.box (GtkPack.Box.cast
419 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
420 method dialog_vbox2 = dialog_vbox2
421 val dialog_action_area2 =
422 new GPack.button_box (GtkPack.BBox.cast
423 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
424 method dialog_action_area2 = dialog_action_area2
425 val aboutDismissButton =
426 new GButton.button (GtkButton.Button.cast
427 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
428 method aboutDismissButton = aboutDismissButton
430 new GMisc.label (GtkMisc.Label.cast
431 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
432 method aboutLabel = aboutLabel
433 method reparent parent =
434 dialog_vbox2#misc#reparent parent;
436 method check_widgets () = ()
438 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
439 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
441 inherit Glade.xml ?autoconnect xmldata
443 new GWindow.dialog_any (GtkWindow.Dialog.cast
444 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
445 method toplevel = toplevel
446 val uriChoiceDialog =
447 new GWindow.dialog_any (GtkWindow.Dialog.cast
448 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
449 method uriChoiceDialog = uriChoiceDialog
451 new GPack.box (GtkPack.Box.cast
452 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
453 method dialog_vbox3 = dialog_vbox3
454 val dialog_action_area3 =
455 new GPack.button_box (GtkPack.BBox.cast
456 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
457 method dialog_action_area3 = dialog_action_area3
458 val uriChoiceAbortButton =
459 new GButton.button (GtkButton.Button.cast
460 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
461 method uriChoiceAbortButton = uriChoiceAbortButton
462 val uriChoiceSelectedButton =
463 new GButton.button (GtkButton.Button.cast
464 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
465 method uriChoiceSelectedButton = uriChoiceSelectedButton
467 new GBin.alignment (GtkBin.Alignment.cast
468 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
469 method alignment2 = alignment2
471 new GPack.box (GtkPack.Box.cast
472 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
475 new GMisc.image (GtkMisc.Image.cast
476 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
477 method image19 = image19
479 new GMisc.label (GtkMisc.Label.cast
480 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
481 method label3 = label3
482 val uriChoiceConstantsButton =
483 new GButton.button (GtkButton.Button.cast
484 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
485 method uriChoiceConstantsButton = uriChoiceConstantsButton
486 val uriChoiceAutoButton =
487 new GButton.button (GtkButton.Button.cast
488 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
489 method uriChoiceAutoButton = uriChoiceAutoButton
491 new GBin.alignment (GtkBin.Alignment.cast
492 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
493 method alignment1 = alignment1
495 new GPack.box (GtkPack.Box.cast
496 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
499 new GMisc.image (GtkMisc.Image.cast
500 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
501 method image18 = image18
503 new GMisc.label (GtkMisc.Label.cast
504 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
505 method label1 = label1
507 new GPack.box (GtkPack.Box.cast
508 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
511 new GMisc.label (GtkMisc.Label.cast
512 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
513 method uriChoiceLabel = uriChoiceLabel
514 val scrolledwindow1 =
515 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
516 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
517 method scrolledwindow1 = scrolledwindow1
518 val uriChoiceTreeView =
519 new GTree.view (GtkTree.TreeView.cast
520 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
521 method uriChoiceTreeView = uriChoiceTreeView
523 new GPack.box (GtkPack.Box.cast
524 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
527 new GMisc.label (GtkMisc.Label.cast
528 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
529 method label2 = label2
531 new GEdit.entry (GtkEdit.Entry.cast
532 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
533 method entry1 = entry1
534 method reparent parent =
535 dialog_vbox3#misc#reparent parent;
537 method check_widgets () = ()
539 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
540 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
542 inherit Glade.xml ?autoconnect xmldata
544 new GWindow.dialog_any (GtkWindow.Dialog.cast
545 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
546 method toplevel = toplevel
547 val interpChoiceDialog =
548 new GWindow.dialog_any (GtkWindow.Dialog.cast
549 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
550 method interpChoiceDialog = interpChoiceDialog
552 new GPack.box (GtkPack.Box.cast
553 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
554 method dialog_vbox4 = dialog_vbox4
555 val dialog_action_area4 =
556 new GPack.button_box (GtkPack.BBox.cast
557 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
558 method dialog_action_area4 = dialog_action_area4
559 val interpChoiceHelpButton =
560 new GButton.button (GtkButton.Button.cast
561 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
562 method interpChoiceHelpButton = interpChoiceHelpButton
563 val interpChoiceCancelButton =
564 new GButton.button (GtkButton.Button.cast
565 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
566 method interpChoiceCancelButton = interpChoiceCancelButton
567 val interpChoiceOkButton =
568 new GButton.button (GtkButton.Button.cast
569 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
570 method interpChoiceOkButton = interpChoiceOkButton
572 new GPack.box (GtkPack.Box.cast
573 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
575 val interpChoiceDialogLabel =
576 new GMisc.label (GtkMisc.Label.cast
577 (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
578 method interpChoiceDialogLabel = interpChoiceDialogLabel
579 val scrolledwindow4 =
580 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
581 (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
582 method scrolledwindow4 = scrolledwindow4
583 val interpChoiceTreeView =
584 new GTree.view (GtkTree.TreeView.cast
585 (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
586 method interpChoiceTreeView = interpChoiceTreeView
587 method reparent parent =
588 dialog_vbox4#misc#reparent parent;
590 method check_widgets () = ()
592 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
593 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
595 inherit Glade.xml ?autoconnect xmldata
597 new GWindow.dialog_any (GtkWindow.Dialog.cast
598 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
599 method toplevel = toplevel
601 new GWindow.dialog_any (GtkWindow.Dialog.cast
602 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
603 method emptyDialog = emptyDialog
604 val emptyDialogVBox =
605 new GPack.box (GtkPack.Box.cast
606 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
607 method emptyDialogVBox = emptyDialogVBox
608 val dialog_action_area5 =
609 new GPack.button_box (GtkPack.BBox.cast
610 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
611 method dialog_action_area5 = dialog_action_area5
612 val emptyDialogCancelButton =
613 new GButton.button (GtkButton.Button.cast
614 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
615 method emptyDialogCancelButton = emptyDialogCancelButton
616 val emptyDialogOkButton =
617 new GButton.button (GtkButton.Button.cast
618 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
619 method emptyDialogOkButton = emptyDialogOkButton
620 val emptyDialogLabel =
621 new GMisc.label (GtkMisc.Label.cast
622 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
623 method emptyDialogLabel = emptyDialogLabel
624 method reparent parent =
625 emptyDialogVBox#misc#reparent parent;
627 method check_widgets () = ()
629 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
630 let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
632 inherit Glade.xml ?autoconnect xmldata
634 new GWindow.window (GtkWindow.Window.cast
635 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
636 method toplevel = toplevel
638 new GWindow.window (GtkWindow.Window.cast
639 (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
640 method checkWin = checkWin
641 val checkWinEventBox =
642 new GBin.event_box (GtkBin.EventBox.cast
643 (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
644 method checkWinEventBox = checkWinEventBox
646 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
647 (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
648 method scrolledCheck = scrolledCheck
649 method reparent parent =
650 checkWinEventBox#misc#reparent parent;
652 method check_widgets () = ()
654 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
655 let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
657 inherit Glade.xml ?autoconnect xmldata
659 new GWindow.window (GtkWindow.Window.cast
660 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
661 method toplevel = toplevel
663 new GWindow.window (GtkWindow.Window.cast
664 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
665 method scriptWin = scriptWin
666 val scriptWinEventBox =
667 new GBin.event_box (GtkBin.EventBox.cast
668 (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
669 method scriptWinEventBox = scriptWinEventBox
671 new GPack.notebook (GtkPack.Notebook.cast
672 (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
673 method scriptNotebook = scriptNotebook
675 new GPack.box (GtkPack.Box.cast
676 (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
679 new GButton.toolbar (GtkButton.Toolbar.cast
680 (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
681 method toolbar1 = toolbar1
682 val scriptWinBackButton =
683 new GButton.button (GtkButton.Button.cast
684 (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
685 method scriptWinBackButton = scriptWinBackButton
687 new GMisc.image (GtkMisc.Image.cast
688 (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
689 method image133 = image133
690 val scriptWinJumpButton =
691 new GButton.button (GtkButton.Button.cast
692 (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
693 method scriptWinJumpButton = scriptWinJumpButton
695 new GMisc.image (GtkMisc.Image.cast
696 (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
697 method image134 = image134
698 val scriptWinForwardButton =
699 new GButton.button (GtkButton.Button.cast
700 (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
701 method scriptWinForwardButton = scriptWinForwardButton
703 new GMisc.image (GtkMisc.Image.cast
704 (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
705 method image135 = image135
707 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
708 (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
709 method scrolledScript = scrolledScript
711 new GText.view (GtkText.View.cast
712 (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
713 method scriptTextView = scriptTextView
715 new GMisc.label (GtkMisc.Label.cast
716 (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
717 method label7 = label7
718 val scrolledwindow3 =
719 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
720 (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
721 method scrolledwindow3 = scrolledwindow3
723 new GTree.view (GtkTree.TreeView.cast
724 (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
725 method treeview1 = treeview1
727 new GMisc.label (GtkMisc.Label.cast
728 (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
729 method label8 = label8
730 method reparent parent =
731 scriptWinEventBox#misc#reparent parent;
733 method check_widgets () = ()
735 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
736 let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
738 inherit Glade.xml ?autoconnect xmldata
740 new GWindow.dialog_any (GtkWindow.Dialog.cast
741 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
742 method toplevel = toplevel
744 new GWindow.dialog_any (GtkWindow.Dialog.cast
745 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
746 method textDialog = textDialog
748 new GPack.box (GtkPack.Box.cast
749 (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
752 new GPack.button_box (GtkPack.BBox.cast
753 (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
754 method hbuttonbox1 = hbuttonbox1
755 val textDialogCancelButton =
756 new GButton.button (GtkButton.Button.cast
757 (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
758 method textDialogCancelButton = textDialogCancelButton
759 val textDialogOkButton =
760 new GButton.button (GtkButton.Button.cast
761 (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
762 method textDialogOkButton = textDialogOkButton
763 val textDialogLabel =
764 new GMisc.label (GtkMisc.Label.cast
765 (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
766 method textDialogLabel = textDialogLabel
767 val scrolledwindow2 =
768 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
769 (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
770 method scrolledwindow2 = scrolledwindow2
771 val textDialogTextView =
772 new GText.view (GtkText.View.cast
773 (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
774 method textDialogTextView = textDialogTextView
775 method reparent parent =
776 vbox5#misc#reparent parent;
778 method check_widgets () = ()
781 let check_all ?(show=false) () =
782 ignore (GMain.Main.init ());
783 let textDialog = new textDialog () in
784 if show then textDialog#toplevel#show ();
785 textDialog#check_widgets ();
786 let scriptWin = new scriptWin () in
787 if show then scriptWin#toplevel#show ();
788 scriptWin#check_widgets ();
789 let checkWin = new checkWin () in
790 if show then checkWin#toplevel#show ();
791 checkWin#check_widgets ();
792 let emptyDialog = new emptyDialog () in
793 if show then emptyDialog#toplevel#show ();
794 emptyDialog#check_widgets ();
795 let interpChoiceDialog = new interpChoiceDialog () in
796 if show then interpChoiceDialog#toplevel#show ();
797 interpChoiceDialog#check_widgets ();
798 let uriChoiceDialog = new uriChoiceDialog () in
799 if show then uriChoiceDialog#toplevel#show ();
800 uriChoiceDialog#check_widgets ();
801 let aboutWin = new aboutWin () in
802 if show then aboutWin#toplevel#show ();
803 aboutWin#check_widgets ();
804 let confirmationDialog = new confirmationDialog () in
805 if show then confirmationDialog#toplevel#show ();
806 confirmationDialog#check_widgets ();
807 let toolBarWin = new toolBarWin () in
808 if show then toolBarWin#toplevel#show ();
809 toolBarWin#check_widgets ();
810 let fileSelectionWin = new fileSelectionWin () in
811 if show then fileSelectionWin#toplevel#show ();
812 fileSelectionWin#check_widgets ();
813 let proofWin = new proofWin () in
814 if show then proofWin#toplevel#show ();
815 proofWin#check_widgets ();
816 let mainWin = new mainWin () in
817 if show then mainWin#toplevel#show ();
818 mainWin#check_widgets ();
819 if show then GMain.Main.main ()