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 fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
189 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
191 inherit Glade.xml ?autoconnect xmldata
193 new GWindow.file_selection (GtkWindow.FileSelection.cast
194 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
195 method toplevel = toplevel
196 val fileSelectionWin =
197 new GWindow.file_selection (GtkWindow.FileSelection.cast
198 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
199 method fileSelectionWin = fileSelectionWin
200 val fileSelCancelButton =
201 new GButton.button (GtkButton.Button.cast
202 (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
203 method fileSelCancelButton = fileSelCancelButton
204 val fileSelOkButton =
205 new GButton.button (GtkButton.Button.cast
206 (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
207 method fileSelOkButton = fileSelOkButton
208 method check_widgets () = ()
210 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
211 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
213 inherit Glade.xml ?autoconnect xmldata
215 new GWindow.window (GtkWindow.Window.cast
216 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
217 method toplevel = toplevel
219 new GWindow.window (GtkWindow.Window.cast
220 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
221 method toolBarWin = toolBarWin
222 val toolBarEventBox =
223 new GBin.event_box (GtkBin.EventBox.cast
224 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
225 method toolBarEventBox = toolBarEventBox
227 new GPack.box (GtkPack.Box.cast
228 (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
229 method toolBarVBox = toolBarVBox
231 new GButton.toolbar (GtkButton.Toolbar.cast
232 (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
233 method toolbar2 = toolbar2
235 new GButton.button (GtkButton.Button.cast
236 (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
237 method introsButton = introsButton
239 new GButton.button (GtkButton.Button.cast
240 (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
241 method applyButton = applyButton
243 new GButton.button (GtkButton.Button.cast
244 (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
245 method exactButton = exactButton
247 new GButton.toolbar (GtkButton.Toolbar.cast
248 (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
249 method toolbar3 = toolbar3
251 new GButton.button (GtkButton.Button.cast
252 (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
253 method elimButton = elimButton
255 new GButton.button (GtkButton.Button.cast
256 (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
257 method elimTypeButton = elimTypeButton
259 new GButton.toolbar (GtkButton.Toolbar.cast
260 (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
261 method toolbar4 = toolbar4
263 new GButton.button (GtkButton.Button.cast
264 (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
265 method splitButton = splitButton
267 new GButton.button (GtkButton.Button.cast
268 (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
269 method leftButton = leftButton
271 new GButton.button (GtkButton.Button.cast
272 (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
273 method rightButton = rightButton
275 new GButton.button (GtkButton.Button.cast
276 (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
277 method existsButton = existsButton
279 new GButton.toolbar (GtkButton.Toolbar.cast
280 (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
281 method toolbar5 = toolbar5
282 val reflexivityButton =
283 new GButton.button (GtkButton.Button.cast
284 (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
285 method reflexivityButton = reflexivityButton
287 new GButton.button (GtkButton.Button.cast
288 (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
289 method symmetryButton = symmetryButton
290 val transitivityButton =
291 new GButton.button (GtkButton.Button.cast
292 (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
293 method transitivityButton = transitivityButton
295 new GButton.toolbar (GtkButton.Toolbar.cast
296 (Glade.get_widget_msg ~name:"toolbar8" ~info:"GtkToolbar" xmldata))
297 method toolbar8 = toolbar8
299 new GButton.button (GtkButton.Button.cast
300 (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
301 method simplifyButton = simplifyButton
303 new GButton.button (GtkButton.Button.cast
304 (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
305 method reduceButton = reduceButton
307 new GButton.button (GtkButton.Button.cast
308 (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
309 method whdButton = whdButton
311 new GButton.toolbar (GtkButton.Toolbar.cast
312 (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
313 method toolbar6 = toolbar6
314 val assumptionButton =
315 new GButton.button (GtkButton.Button.cast
316 (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
317 method assumptionButton = assumptionButton
319 new GButton.button (GtkButton.Button.cast
320 (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
321 method autoButton = autoButton
323 new GButton.toolbar (GtkButton.Toolbar.cast
324 (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
325 method toolbar7 = toolbar7
327 new GButton.button (GtkButton.Button.cast
328 (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
329 method cutButton = cutButton
331 new GButton.button (GtkButton.Button.cast
332 (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
333 method replaceButton = replaceButton
334 method reparent parent =
335 toolBarEventBox#misc#reparent parent;
337 method check_widgets () = ()
339 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
340 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
342 inherit Glade.xml ?autoconnect xmldata
344 new GWindow.dialog_any (GtkWindow.Dialog.cast
345 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
346 method toplevel = toplevel
347 val confirmationDialog =
348 new GWindow.dialog_any (GtkWindow.Dialog.cast
349 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
350 method confirmationDialog = confirmationDialog
352 new GPack.box (GtkPack.Box.cast
353 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
354 method dialog_vbox1 = dialog_vbox1
355 val dialog_action_area1 =
356 new GPack.button_box (GtkPack.BBox.cast
357 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
358 method dialog_action_area1 = dialog_action_area1
359 val confirmationDialogCancelButton =
360 new GButton.button (GtkButton.Button.cast
361 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
362 method confirmationDialogCancelButton = confirmationDialogCancelButton
363 val confirmationDialogOkButton =
364 new GButton.button (GtkButton.Button.cast
365 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
366 method confirmationDialogOkButton = confirmationDialogOkButton
367 val confirmationDialogLabel =
368 new GMisc.label (GtkMisc.Label.cast
369 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
370 method confirmationDialogLabel = confirmationDialogLabel
371 method reparent parent =
372 dialog_vbox1#misc#reparent parent;
374 method check_widgets () = ()
376 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
377 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
379 inherit Glade.xml ?autoconnect xmldata
381 new GWindow.dialog_any (GtkWindow.Dialog.cast
382 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
383 method toplevel = toplevel
385 new GWindow.dialog_any (GtkWindow.Dialog.cast
386 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
387 method aboutWin = aboutWin
389 new GPack.box (GtkPack.Box.cast
390 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
391 method dialog_vbox2 = dialog_vbox2
392 val dialog_action_area2 =
393 new GPack.button_box (GtkPack.BBox.cast
394 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
395 method dialog_action_area2 = dialog_action_area2
396 val aboutDismissButton =
397 new GButton.button (GtkButton.Button.cast
398 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
399 method aboutDismissButton = aboutDismissButton
401 new GMisc.label (GtkMisc.Label.cast
402 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
403 method aboutLabel = aboutLabel
404 method reparent parent =
405 dialog_vbox2#misc#reparent parent;
407 method check_widgets () = ()
409 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
410 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
412 inherit Glade.xml ?autoconnect xmldata
414 new GWindow.dialog_any (GtkWindow.Dialog.cast
415 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
416 method toplevel = toplevel
417 val uriChoiceDialog =
418 new GWindow.dialog_any (GtkWindow.Dialog.cast
419 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
420 method uriChoiceDialog = uriChoiceDialog
422 new GPack.box (GtkPack.Box.cast
423 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
424 method dialog_vbox3 = dialog_vbox3
425 val dialog_action_area3 =
426 new GPack.button_box (GtkPack.BBox.cast
427 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
428 method dialog_action_area3 = dialog_action_area3
429 val uriChoiceAbortButton =
430 new GButton.button (GtkButton.Button.cast
431 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
432 method uriChoiceAbortButton = uriChoiceAbortButton
433 val uriChoiceSelectedButton =
434 new GButton.button (GtkButton.Button.cast
435 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
436 method uriChoiceSelectedButton = uriChoiceSelectedButton
438 new GBin.alignment (GtkBin.Alignment.cast
439 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
440 method alignment2 = alignment2
442 new GPack.box (GtkPack.Box.cast
443 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
446 new GMisc.image (GtkMisc.Image.cast
447 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
448 method image19 = image19
450 new GMisc.label (GtkMisc.Label.cast
451 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
452 method label3 = label3
453 val uriChoiceConstantsButton =
454 new GButton.button (GtkButton.Button.cast
455 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
456 method uriChoiceConstantsButton = uriChoiceConstantsButton
457 val uriChoiceAutoButton =
458 new GButton.button (GtkButton.Button.cast
459 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
460 method uriChoiceAutoButton = uriChoiceAutoButton
462 new GBin.alignment (GtkBin.Alignment.cast
463 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
464 method alignment1 = alignment1
466 new GPack.box (GtkPack.Box.cast
467 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
470 new GMisc.image (GtkMisc.Image.cast
471 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
472 method image18 = image18
474 new GMisc.label (GtkMisc.Label.cast
475 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
476 method label1 = label1
478 new GPack.box (GtkPack.Box.cast
479 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
482 new GMisc.label (GtkMisc.Label.cast
483 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
484 method uriChoiceLabel = uriChoiceLabel
485 val scrolledwindow1 =
486 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
487 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
488 method scrolledwindow1 = scrolledwindow1
489 val uriChoiceTreeView =
490 new GTree.view (GtkTree.TreeView.cast
491 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
492 method uriChoiceTreeView = uriChoiceTreeView
494 new GPack.box (GtkPack.Box.cast
495 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
498 new GMisc.label (GtkMisc.Label.cast
499 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
500 method label2 = label2
502 new GEdit.entry (GtkEdit.Entry.cast
503 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
504 method entry1 = entry1
505 method reparent parent =
506 dialog_vbox3#misc#reparent parent;
508 method check_widgets () = ()
510 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
511 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
513 inherit Glade.xml ?autoconnect xmldata
515 new GWindow.dialog_any (GtkWindow.Dialog.cast
516 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
517 method toplevel = toplevel
518 val interpChoiceDialog =
519 new GWindow.dialog_any (GtkWindow.Dialog.cast
520 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
521 method interpChoiceDialog = interpChoiceDialog
523 new GPack.box (GtkPack.Box.cast
524 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
525 method dialog_vbox4 = dialog_vbox4
526 val dialog_action_area4 =
527 new GPack.button_box (GtkPack.BBox.cast
528 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
529 method dialog_action_area4 = dialog_action_area4
530 val interpChoiceHelpButton =
531 new GButton.button (GtkButton.Button.cast
532 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
533 method interpChoiceHelpButton = interpChoiceHelpButton
534 val interpChoiceCancelButton =
535 new GButton.button (GtkButton.Button.cast
536 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
537 method interpChoiceCancelButton = interpChoiceCancelButton
538 val interpChoiceOkButton =
539 new GButton.button (GtkButton.Button.cast
540 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
541 method interpChoiceOkButton = interpChoiceOkButton
543 new GPack.box (GtkPack.Box.cast
544 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
546 val interpChoiceDialogLabel =
547 new GMisc.label (GtkMisc.Label.cast
548 (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
549 method interpChoiceDialogLabel = interpChoiceDialogLabel
550 val scrolledwindow4 =
551 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
552 (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
553 method scrolledwindow4 = scrolledwindow4
554 val interpChoiceTreeView =
555 new GTree.view (GtkTree.TreeView.cast
556 (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
557 method interpChoiceTreeView = interpChoiceTreeView
558 method reparent parent =
559 dialog_vbox4#misc#reparent parent;
561 method check_widgets () = ()
563 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
564 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
566 inherit Glade.xml ?autoconnect xmldata
568 new GWindow.dialog_any (GtkWindow.Dialog.cast
569 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
570 method toplevel = toplevel
572 new GWindow.dialog_any (GtkWindow.Dialog.cast
573 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
574 method emptyDialog = emptyDialog
575 val emptyDialogVBox =
576 new GPack.box (GtkPack.Box.cast
577 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
578 method emptyDialogVBox = emptyDialogVBox
579 val dialog_action_area5 =
580 new GPack.button_box (GtkPack.BBox.cast
581 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
582 method dialog_action_area5 = dialog_action_area5
583 val emptyDialogCancelButton =
584 new GButton.button (GtkButton.Button.cast
585 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
586 method emptyDialogCancelButton = emptyDialogCancelButton
587 val emptyDialogOkButton =
588 new GButton.button (GtkButton.Button.cast
589 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
590 method emptyDialogOkButton = emptyDialogOkButton
591 val emptyDialogLabel =
592 new GMisc.label (GtkMisc.Label.cast
593 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
594 method emptyDialogLabel = emptyDialogLabel
595 method reparent parent =
596 emptyDialogVBox#misc#reparent parent;
598 method check_widgets () = ()
600 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
601 let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
603 inherit Glade.xml ?autoconnect xmldata
605 new GWindow.window (GtkWindow.Window.cast
606 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
607 method toplevel = toplevel
609 new GWindow.window (GtkWindow.Window.cast
610 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
611 method scriptWin = scriptWin
612 val scriptWinEventBox =
613 new GBin.event_box (GtkBin.EventBox.cast
614 (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
615 method scriptWinEventBox = scriptWinEventBox
617 new GPack.box (GtkPack.Box.cast
618 (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
621 new GBin.handle_box (GtkBin.HandleBox.cast
622 (Glade.get_widget_msg ~name:"handlebox2" ~info:"GtkHandleBox" xmldata))
623 method handlebox2 = handlebox2
625 new GPack.box (GtkPack.Box.cast
626 (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
628 val scriptWinTopButton =
629 new GButton.button (GtkButton.Button.cast
630 (Glade.get_widget_msg ~name:"ScriptWinTopButton" ~info:"GtkButton" xmldata))
631 method scriptWinTopButton = scriptWinTopButton
633 new GMisc.image (GtkMisc.Image.cast
634 (Glade.get_widget_msg ~name:"image235" ~info:"GtkImage" xmldata))
635 method image235 = image235
636 val scriptWinBackButton =
637 new GButton.button (GtkButton.Button.cast
638 (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
639 method scriptWinBackButton = scriptWinBackButton
641 new GMisc.image (GtkMisc.Image.cast
642 (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
643 method image133 = image133
644 val scriptWinJumpButton =
645 new GButton.button (GtkButton.Button.cast
646 (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
647 method scriptWinJumpButton = scriptWinJumpButton
649 new GMisc.image (GtkMisc.Image.cast
650 (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
651 method image134 = image134
652 val scriptWinForwardButton =
653 new GButton.button (GtkButton.Button.cast
654 (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
655 method scriptWinForwardButton = scriptWinForwardButton
657 new GMisc.image (GtkMisc.Image.cast
658 (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
659 method image135 = image135
660 val scriptWinBottomButton =
661 new GButton.button (GtkButton.Button.cast
662 (Glade.get_widget_msg ~name:"ScriptWinBottomButton" ~info:"GtkButton" xmldata))
663 method scriptWinBottomButton = scriptWinBottomButton
665 new GMisc.image (GtkMisc.Image.cast
666 (Glade.get_widget_msg ~name:"image236" ~info:"GtkImage" xmldata))
667 method image236 = image236
669 new GPack.notebook (GtkPack.Notebook.cast
670 (Glade.get_widget_msg ~name:"ScriptNotebook" ~info:"GtkNotebook" xmldata))
671 method scriptNotebook = scriptNotebook
673 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
674 (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
675 method scrolledScript = scrolledScript
677 new GText.view (GtkText.View.cast
678 (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
679 method scriptTextView = scriptTextView
681 new GMisc.label (GtkMisc.Label.cast
682 (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
683 method label7 = label7
684 val scrolledOutline =
685 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
686 (Glade.get_widget_msg ~name:"ScrolledOutline" ~info:"GtkScrolledWindow" xmldata))
687 method scrolledOutline = scrolledOutline
689 new GTree.view (GtkTree.TreeView.cast
690 (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
691 method treeview1 = treeview1
693 new GMisc.label (GtkMisc.Label.cast
694 (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
695 method label8 = label8
696 method reparent parent =
697 scriptWinEventBox#misc#reparent parent;
699 method check_widgets () = ()
701 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
702 let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
704 inherit Glade.xml ?autoconnect xmldata
706 new GWindow.dialog_any (GtkWindow.Dialog.cast
707 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
708 method toplevel = toplevel
710 new GWindow.dialog_any (GtkWindow.Dialog.cast
711 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
712 method textDialog = textDialog
714 new GPack.box (GtkPack.Box.cast
715 (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
718 new GPack.button_box (GtkPack.BBox.cast
719 (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
720 method hbuttonbox1 = hbuttonbox1
721 val textDialogCancelButton =
722 new GButton.button (GtkButton.Button.cast
723 (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
724 method textDialogCancelButton = textDialogCancelButton
725 val textDialogOkButton =
726 new GButton.button (GtkButton.Button.cast
727 (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
728 method textDialogOkButton = textDialogOkButton
729 val textDialogLabel =
730 new GMisc.label (GtkMisc.Label.cast
731 (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
732 method textDialogLabel = textDialogLabel
733 val scrolledwindow2 =
734 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
735 (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
736 method scrolledwindow2 = scrolledwindow2
737 val textDialogTextView =
738 new GText.view (GtkText.View.cast
739 (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
740 method textDialogTextView = textDialogTextView
741 method reparent parent =
742 vbox5#misc#reparent parent;
744 method check_widgets () = ()
746 class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
747 let xmldata = Glade.create ~file ~root:"BrowserWin" ?domain () in
749 inherit Glade.xml ?autoconnect xmldata
751 new GWindow.window (GtkWindow.Window.cast
752 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
753 method toplevel = toplevel
755 new GWindow.window (GtkWindow.Window.cast
756 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
757 method browserWin = browserWin
758 val browserWinEventBox =
759 new GBin.event_box (GtkBin.EventBox.cast
760 (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
761 method browserWinEventBox = browserWinEventBox
763 new GPack.box (GtkPack.Box.cast
764 (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
765 method browserVBox = browserVBox
767 new GBin.handle_box (GtkBin.HandleBox.cast
768 (Glade.get_widget_msg ~name:"handlebox1" ~info:"GtkHandleBox" xmldata))
769 method handlebox1 = handlebox1
771 new GPack.box (GtkPack.Box.cast
772 (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
774 val browserNewButton =
775 new GButton.button (GtkButton.Button.cast
776 (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
777 method browserNewButton = browserNewButton
779 new GMisc.image (GtkMisc.Image.cast
780 (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
781 method image191 = image191
782 val browserBackButton =
783 new GButton.button (GtkButton.Button.cast
784 (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
785 method browserBackButton = browserBackButton
787 new GBin.alignment (GtkBin.Alignment.cast
788 (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
789 method alignment3 = alignment3
791 new GPack.box (GtkPack.Box.cast
792 (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
795 new GMisc.image (GtkMisc.Image.cast
796 (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
797 method image188 = image188
799 new GMisc.label (GtkMisc.Label.cast
800 (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
801 method label10 = label10
802 val browserForwardButton =
803 new GButton.button (GtkButton.Button.cast
804 (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
805 method browserForwardButton = browserForwardButton
807 new GMisc.image (GtkMisc.Image.cast
808 (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
809 method image189 = image189
810 val browserRefreshButton =
811 new GButton.button (GtkButton.Button.cast
812 (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
813 method browserRefreshButton = browserRefreshButton
815 new GMisc.image (GtkMisc.Image.cast
816 (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
817 method image229 = image229
818 val browserHomeButton =
819 new GButton.button (GtkButton.Button.cast
820 (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
821 method browserHomeButton = browserHomeButton
823 new GMisc.image (GtkMisc.Image.cast
824 (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
825 method image190 = image190
827 new GMisc.image (GtkMisc.Image.cast
828 (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
829 method image187 = image187
831 new GEdit.entry (GtkEdit.Entry.cast
832 (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
833 method browserUri = browserUri
835 new GBin.frame (GtkBin.Frame.cast
836 (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
837 method frame1 = frame1
838 val scrolledBrowser =
839 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
840 (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
841 method scrolledBrowser = scrolledBrowser
842 method reparent parent =
843 browserWinEventBox#misc#reparent parent;
845 method check_widgets () = ()
848 let check_all ?(show=false) () =
849 ignore (GMain.Main.init ());
850 let browserWin = new browserWin () in
851 if show then browserWin#toplevel#show ();
852 browserWin#check_widgets ();
853 let textDialog = new textDialog () in
854 if show then textDialog#toplevel#show ();
855 textDialog#check_widgets ();
856 let scriptWin = new scriptWin () in
857 if show then scriptWin#toplevel#show ();
858 scriptWin#check_widgets ();
859 let emptyDialog = new emptyDialog () in
860 if show then emptyDialog#toplevel#show ();
861 emptyDialog#check_widgets ();
862 let interpChoiceDialog = new interpChoiceDialog () in
863 if show then interpChoiceDialog#toplevel#show ();
864 interpChoiceDialog#check_widgets ();
865 let uriChoiceDialog = new uriChoiceDialog () in
866 if show then uriChoiceDialog#toplevel#show ();
867 uriChoiceDialog#check_widgets ();
868 let aboutWin = new aboutWin () in
869 if show then aboutWin#toplevel#show ();
870 aboutWin#check_widgets ();
871 let confirmationDialog = new confirmationDialog () in
872 if show then confirmationDialog#toplevel#show ();
873 confirmationDialog#check_widgets ();
874 let toolBarWin = new toolBarWin () in
875 if show then toolBarWin#toplevel#show ();
876 toolBarWin#check_widgets ();
877 let fileSelectionWin = new fileSelectionWin () in
878 if show then fileSelectionWin#toplevel#show ();
879 fileSelectionWin#check_widgets ();
880 let mainWin = new mainWin () in
881 if show then mainWin#toplevel#show ();
882 mainWin#check_widgets ();
883 if show then GMain.Main.main ()