1 (* Automatically generated from matita.glade by lablgladecc *)
3 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
4 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
6 inherit Glade.xml ?autoconnect xmldata
8 new GWindow.dialog_any (GtkWindow.Dialog.cast
9 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
10 method toplevel = toplevel
12 new GWindow.dialog_any (GtkWindow.Dialog.cast
13 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
14 method aboutWin = aboutWin
16 new GPack.box (GtkPack.Box.cast
17 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
18 method dialog_vbox2 = dialog_vbox2
19 val dialog_action_area2 =
20 new GPack.button_box (GtkPack.BBox.cast
21 (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
22 method dialog_action_area2 = dialog_action_area2
23 val aboutDismissButton =
24 new GButton.button (GtkButton.Button.cast
25 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
26 method aboutDismissButton = aboutDismissButton
28 new GMisc.label (GtkMisc.Label.cast
29 (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
30 method aboutLabel = aboutLabel
31 method reparent parent =
32 dialog_vbox2#misc#reparent parent;
34 method check_widgets () = ()
36 class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
37 let xmldata = Glade.create ~file ~root:"BrowserWin" ?domain () in
39 inherit Glade.xml ?autoconnect xmldata
41 new GWindow.window (GtkWindow.Window.cast
42 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
43 method toplevel = toplevel
45 new GWindow.window (GtkWindow.Window.cast
46 (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
47 method browserWin = browserWin
48 val browserWinEventBox =
49 new GBin.event_box (GtkBin.EventBox.cast
50 (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
51 method browserWinEventBox = browserWinEventBox
53 new GPack.box (GtkPack.Box.cast
54 (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
55 method browserVBox = browserVBox
57 new GBin.handle_box (GtkBin.HandleBox.cast
58 (Glade.get_widget_msg ~name:"handlebox1" ~info:"GtkHandleBox" xmldata))
59 method handlebox1 = handlebox1
61 new GPack.box (GtkPack.Box.cast
62 (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
64 val browserNewButton =
65 new GButton.button (GtkButton.Button.cast
66 (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
67 method browserNewButton = browserNewButton
69 new GMisc.image (GtkMisc.Image.cast
70 (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
71 method image191 = image191
72 val browserBackButton =
73 new GButton.button (GtkButton.Button.cast
74 (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
75 method browserBackButton = browserBackButton
77 new GBin.alignment (GtkBin.Alignment.cast
78 (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
79 method alignment3 = alignment3
81 new GPack.box (GtkPack.Box.cast
82 (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
85 new GMisc.image (GtkMisc.Image.cast
86 (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
87 method image188 = image188
89 new GMisc.label (GtkMisc.Label.cast
90 (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
91 method label10 = label10
92 val browserForwardButton =
93 new GButton.button (GtkButton.Button.cast
94 (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
95 method browserForwardButton = browserForwardButton
97 new GMisc.image (GtkMisc.Image.cast
98 (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
99 method image189 = image189
100 val browserRefreshButton =
101 new GButton.button (GtkButton.Button.cast
102 (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
103 method browserRefreshButton = browserRefreshButton
105 new GMisc.image (GtkMisc.Image.cast
106 (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
107 method image229 = image229
108 val browserHomeButton =
109 new GButton.button (GtkButton.Button.cast
110 (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
111 method browserHomeButton = browserHomeButton
113 new GMisc.image (GtkMisc.Image.cast
114 (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
115 method image190 = image190
117 new GMisc.image (GtkMisc.Image.cast
118 (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
119 method image187 = image187
121 new GEdit.entry (GtkEdit.Entry.cast
122 (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
123 method browserUri = browserUri
125 new GBin.frame (GtkBin.Frame.cast
126 (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
127 method frame1 = frame1
128 val scrolledBrowser =
129 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
130 (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
131 method scrolledBrowser = scrolledBrowser
132 method reparent parent =
133 browserWinEventBox#misc#reparent parent;
135 method check_widgets () = ()
137 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
138 let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
140 inherit Glade.xml ?autoconnect xmldata
142 new GWindow.dialog_any (GtkWindow.Dialog.cast
143 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
144 method toplevel = toplevel
145 val confirmationDialog =
146 new GWindow.dialog_any (GtkWindow.Dialog.cast
147 (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
148 method confirmationDialog = confirmationDialog
150 new GPack.box (GtkPack.Box.cast
151 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
152 method dialog_vbox1 = dialog_vbox1
153 val dialog_action_area1 =
154 new GPack.button_box (GtkPack.BBox.cast
155 (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
156 method dialog_action_area1 = dialog_action_area1
157 val confirmationDialogCancelButton =
158 new GButton.button (GtkButton.Button.cast
159 (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
160 method confirmationDialogCancelButton = confirmationDialogCancelButton
161 val confirmationDialogOkButton =
162 new GButton.button (GtkButton.Button.cast
163 (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
164 method confirmationDialogOkButton = confirmationDialogOkButton
165 val confirmationDialogLabel =
166 new GMisc.label (GtkMisc.Label.cast
167 (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
168 method confirmationDialogLabel = confirmationDialogLabel
169 method reparent parent =
170 dialog_vbox1#misc#reparent parent;
172 method check_widgets () = ()
174 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
175 let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
177 inherit Glade.xml ?autoconnect xmldata
179 new GWindow.dialog_any (GtkWindow.Dialog.cast
180 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
181 method toplevel = toplevel
183 new GWindow.dialog_any (GtkWindow.Dialog.cast
184 (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
185 method emptyDialog = emptyDialog
186 val emptyDialogVBox =
187 new GPack.box (GtkPack.Box.cast
188 (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
189 method emptyDialogVBox = emptyDialogVBox
190 val dialog_action_area5 =
191 new GPack.button_box (GtkPack.BBox.cast
192 (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
193 method dialog_action_area5 = dialog_action_area5
194 val emptyDialogCancelButton =
195 new GButton.button (GtkButton.Button.cast
196 (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
197 method emptyDialogCancelButton = emptyDialogCancelButton
198 val emptyDialogOkButton =
199 new GButton.button (GtkButton.Button.cast
200 (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
201 method emptyDialogOkButton = emptyDialogOkButton
202 val emptyDialogLabel =
203 new GMisc.label (GtkMisc.Label.cast
204 (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
205 method emptyDialogLabel = emptyDialogLabel
206 method reparent parent =
207 emptyDialogVBox#misc#reparent parent;
209 method check_widgets () = ()
211 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
212 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
214 inherit Glade.xml ?autoconnect xmldata
216 new GWindow.file_selection (GtkWindow.FileSelection.cast
217 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
218 method toplevel = toplevel
219 val fileSelectionWin =
220 new GWindow.file_selection (GtkWindow.FileSelection.cast
221 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
222 method fileSelectionWin = fileSelectionWin
223 val fileSelCancelButton =
224 new GButton.button (GtkButton.Button.cast
225 (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
226 method fileSelCancelButton = fileSelCancelButton
227 val fileSelOkButton =
228 new GButton.button (GtkButton.Button.cast
229 (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
230 method fileSelOkButton = fileSelOkButton
231 method check_widgets () = ()
233 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
234 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
236 inherit Glade.xml ?autoconnect xmldata
238 new GWindow.dialog_any (GtkWindow.Dialog.cast
239 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
240 method toplevel = toplevel
241 val interpChoiceDialog =
242 new GWindow.dialog_any (GtkWindow.Dialog.cast
243 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
244 method interpChoiceDialog = interpChoiceDialog
246 new GPack.box (GtkPack.Box.cast
247 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
248 method dialog_vbox4 = dialog_vbox4
249 val dialog_action_area4 =
250 new GPack.button_box (GtkPack.BBox.cast
251 (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
252 method dialog_action_area4 = dialog_action_area4
253 val interpChoiceHelpButton =
254 new GButton.button (GtkButton.Button.cast
255 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
256 method interpChoiceHelpButton = interpChoiceHelpButton
257 val interpChoiceCancelButton =
258 new GButton.button (GtkButton.Button.cast
259 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
260 method interpChoiceCancelButton = interpChoiceCancelButton
261 val interpChoiceOkButton =
262 new GButton.button (GtkButton.Button.cast
263 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
264 method interpChoiceOkButton = interpChoiceOkButton
266 new GPack.box (GtkPack.Box.cast
267 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
269 val interpChoiceDialogLabel =
270 new GMisc.label (GtkMisc.Label.cast
271 (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
272 method interpChoiceDialogLabel = interpChoiceDialogLabel
273 val scrolledwindow4 =
274 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
275 (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
276 method scrolledwindow4 = scrolledwindow4
277 val interpChoiceTreeView =
278 new GTree.view (GtkTree.TreeView.cast
279 (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
280 method interpChoiceTreeView = interpChoiceTreeView
281 method reparent parent =
282 dialog_vbox4#misc#reparent parent;
284 method check_widgets () = ()
286 class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
287 let xmldata = Glade.create ~file ~root:"MainWin" ?domain () in
289 inherit Glade.xml ?autoconnect xmldata
291 new GWindow.window (GtkWindow.Window.cast
292 (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
293 method toplevel = toplevel
295 new GWindow.window (GtkWindow.Window.cast
296 (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
297 method mainWin = mainWin
298 val mainWinEventBox =
299 new GBin.event_box (GtkBin.EventBox.cast
300 (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
301 method mainWinEventBox = mainWinEventBox
303 new GPack.box (GtkPack.Box.cast
304 (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
305 method mainWinShape = mainWinShape
307 new GMenu.menu_shell (GtkMenu.MenuBar.cast
308 (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
309 method mainMenuBar = mainMenuBar
311 new GMenu.menu_item (GtkMenu.MenuItem.cast
312 (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
313 method fileMenu = fileMenu
315 new GMenu.menu (GtkMenu.Menu.cast
316 (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
317 method fileMenu_menu = fileMenu_menu
319 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
320 (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
321 method newMenu = newMenu
323 new GMisc.image (GtkMisc.Image.cast
324 (Glade.get_widget_msg ~name:"image224" ~info:"GtkImage" xmldata))
325 method image224 = image224
327 new GMenu.menu (GtkMenu.Menu.cast
328 (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
329 method newMenu_menu = newMenu_menu
330 val newProofMenuItem =
331 new GMenu.menu_item (GtkMenu.MenuItem.cast
332 (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
333 method newProofMenuItem = newProofMenuItem
334 val newDefsMenuItem =
335 new GMenu.menu_item (GtkMenu.MenuItem.cast
336 (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
337 method newDefsMenuItem = newDefsMenuItem
339 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
340 (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
341 method openMenuItem = openMenuItem
343 new GMisc.image (GtkMisc.Image.cast
344 (Glade.get_widget_msg ~name:"image225" ~info:"GtkImage" xmldata))
345 method image225 = image225
347 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
348 (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
349 method saveMenuItem = saveMenuItem
351 new GMisc.image (GtkMisc.Image.cast
352 (Glade.get_widget_msg ~name:"image226" ~info:"GtkImage" xmldata))
353 method image226 = image226
355 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
356 (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
357 method saveAsMenuItem = saveAsMenuItem
359 new GMisc.image (GtkMisc.Image.cast
360 (Glade.get_widget_msg ~name:"image227" ~info:"GtkImage" xmldata))
361 method image227 = image227
363 new GMenu.menu_item (GtkMenu.MenuItem.cast
364 (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
365 method separator1 = separator1
367 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
368 (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
369 method quitMenuItem = quitMenuItem
371 new GMisc.image (GtkMisc.Image.cast
372 (Glade.get_widget_msg ~name:"image228" ~info:"GtkImage" xmldata))
373 method image228 = image228
375 new GMenu.menu_item (GtkMenu.MenuItem.cast
376 (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
377 method editMenu = editMenu
379 new GMenu.menu_item (GtkMenu.MenuItem.cast
380 (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
381 method viewMenu = viewMenu
383 new GMenu.menu (GtkMenu.Menu.cast
384 (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
385 method viewMenu_menu = viewMenu_menu
386 val showToolBarMenuItem =
387 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
388 (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
389 method showToolBarMenuItem = showToolBarMenuItem
390 val newCicBrowserMenuItem =
391 new GMenu.menu_item (GtkMenu.MenuItem.cast
392 (Glade.get_widget_msg ~name:"NewCicBrowserMenuItem" ~info:"GtkMenuItem" xmldata))
393 method newCicBrowserMenuItem = newCicBrowserMenuItem
394 val showScriptMenuItem =
395 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
396 (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
397 method showScriptMenuItem = showScriptMenuItem
399 new GMenu.menu_item (GtkMenu.MenuItem.cast
400 (Glade.get_widget_msg ~name:"separator3" ~info:"GtkSeparatorMenuItem" xmldata))
401 method separator3 = separator3
402 val showConsoleMenuItem =
403 new GMenu.menu_item (GtkMenu.MenuItem.cast
404 (Glade.get_widget_msg ~name:"ShowConsoleMenuItem" ~info:"GtkMenuItem" xmldata))
405 method showConsoleMenuItem = showConsoleMenuItem
407 new GMenu.menu_item (GtkMenu.MenuItem.cast
408 (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
409 method debugMenu = debugMenu
411 new GMenu.menu (GtkMenu.Menu.cast
412 (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
413 method debugMenu_menu = debugMenu_menu
415 new GMenu.menu_item (GtkMenu.MenuItem.cast
416 (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
417 method separator2 = separator2
419 new GMenu.menu_item (GtkMenu.MenuItem.cast
420 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
421 method helpMenu = helpMenu
423 new GMenu.menu (GtkMenu.Menu.cast
424 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
425 method helpMenu_menu = helpMenu_menu
427 new GMenu.menu_item (GtkMenu.MenuItem.cast
428 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
429 method aboutMenuItem = aboutMenuItem
431 new GPack.paned (GtkPack.Paned.cast
432 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
433 method mainVPanes = mainVPanes
434 val sequentsNotebook =
435 new GPack.notebook (GtkPack.Notebook.cast
436 (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
437 method sequentsNotebook = sequentsNotebook
438 val consoleEventBox =
439 new GBin.event_box (GtkBin.EventBox.cast
440 (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
441 method consoleEventBox = consoleEventBox
443 new GPack.box (GtkPack.Box.cast
444 (Glade.get_widget_msg ~name:"ConsoleHBox" ~info:"GtkHBox" xmldata))
445 method consoleHBox = consoleHBox
447 new GPack.box (GtkPack.Box.cast
448 (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
450 val hideConsoleButton =
451 new GButton.button (GtkButton.Button.cast
452 (Glade.get_widget_msg ~name:"HideConsoleButton" ~info:"GtkButton" xmldata))
453 method hideConsoleButton = hideConsoleButton
455 new GMisc.image (GtkMisc.Image.cast
456 (Glade.get_widget_msg ~name:"image169" ~info:"GtkImage" xmldata))
457 method image169 = image169
458 val scrolledConsole =
459 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
460 (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
461 method scrolledConsole = scrolledConsole
463 new GMisc.statusbar (GtkMisc.Statusbar.cast
464 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
465 method mainStatusBar = mainStatusBar
466 method reparent parent =
467 mainWinEventBox#misc#reparent parent;
469 method check_widgets () = ()
471 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
472 let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
474 inherit Glade.xml ?autoconnect xmldata
476 new GWindow.window (GtkWindow.Window.cast
477 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
478 method toplevel = toplevel
480 new GWindow.window (GtkWindow.Window.cast
481 (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
482 method scriptWin = scriptWin
483 val scriptWinEventBox =
484 new GBin.event_box (GtkBin.EventBox.cast
485 (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
486 method scriptWinEventBox = scriptWinEventBox
488 new GPack.box (GtkPack.Box.cast
489 (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
492 new GBin.handle_box (GtkBin.HandleBox.cast
493 (Glade.get_widget_msg ~name:"handlebox2" ~info:"GtkHandleBox" xmldata))
494 method handlebox2 = handlebox2
496 new GPack.box (GtkPack.Box.cast
497 (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
499 val scriptWinTopButton =
500 new GButton.button (GtkButton.Button.cast
501 (Glade.get_widget_msg ~name:"ScriptWinTopButton" ~info:"GtkButton" xmldata))
502 method scriptWinTopButton = scriptWinTopButton
504 new GMisc.image (GtkMisc.Image.cast
505 (Glade.get_widget_msg ~name:"image235" ~info:"GtkImage" xmldata))
506 method image235 = image235
507 val scriptWinBackButton =
508 new GButton.button (GtkButton.Button.cast
509 (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
510 method scriptWinBackButton = scriptWinBackButton
512 new GMisc.image (GtkMisc.Image.cast
513 (Glade.get_widget_msg ~name:"image237" ~info:"GtkImage" xmldata))
514 method image237 = image237
515 val scriptWinJumpButton =
516 new GButton.button (GtkButton.Button.cast
517 (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
518 method scriptWinJumpButton = scriptWinJumpButton
520 new GMisc.image (GtkMisc.Image.cast
521 (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
522 method image134 = image134
523 val scriptWinForwardButton =
524 new GButton.button (GtkButton.Button.cast
525 (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
526 method scriptWinForwardButton = scriptWinForwardButton
528 new GMisc.image (GtkMisc.Image.cast
529 (Glade.get_widget_msg ~name:"image239" ~info:"GtkImage" xmldata))
530 method image239 = image239
531 val scriptWinBottomButton =
532 new GButton.button (GtkButton.Button.cast
533 (Glade.get_widget_msg ~name:"ScriptWinBottomButton" ~info:"GtkButton" xmldata))
534 method scriptWinBottomButton = scriptWinBottomButton
536 new GMisc.image (GtkMisc.Image.cast
537 (Glade.get_widget_msg ~name:"image238" ~info:"GtkImage" xmldata))
538 method image238 = image238
540 new GPack.notebook (GtkPack.Notebook.cast
541 (Glade.get_widget_msg ~name:"ScriptNotebook" ~info:"GtkNotebook" xmldata))
542 method scriptNotebook = scriptNotebook
544 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
545 (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
546 method scrolledScript = scrolledScript
548 new GText.view (GtkText.View.cast
549 (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
550 method scriptTextView = scriptTextView
552 new GMisc.label (GtkMisc.Label.cast
553 (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
554 method label7 = label7
555 val scrolledOutline =
556 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
557 (Glade.get_widget_msg ~name:"ScrolledOutline" ~info:"GtkScrolledWindow" xmldata))
558 method scrolledOutline = scrolledOutline
559 val outlineTreeView =
560 new GTree.view (GtkTree.TreeView.cast
561 (Glade.get_widget_msg ~name:"OutlineTreeView" ~info:"GtkTreeView" xmldata))
562 method outlineTreeView = outlineTreeView
564 new GMisc.label (GtkMisc.Label.cast
565 (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
566 method label8 = label8
567 method reparent parent =
568 scriptWinEventBox#misc#reparent parent;
570 method check_widgets () = ()
572 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
573 let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
575 inherit Glade.xml ?autoconnect xmldata
577 new GWindow.dialog_any (GtkWindow.Dialog.cast
578 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
579 method toplevel = toplevel
581 new GWindow.dialog_any (GtkWindow.Dialog.cast
582 (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
583 method textDialog = textDialog
585 new GPack.box (GtkPack.Box.cast
586 (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
589 new GPack.button_box (GtkPack.BBox.cast
590 (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
591 method hbuttonbox1 = hbuttonbox1
592 val textDialogCancelButton =
593 new GButton.button (GtkButton.Button.cast
594 (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
595 method textDialogCancelButton = textDialogCancelButton
596 val textDialogOkButton =
597 new GButton.button (GtkButton.Button.cast
598 (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
599 method textDialogOkButton = textDialogOkButton
600 val textDialogLabel =
601 new GMisc.label (GtkMisc.Label.cast
602 (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
603 method textDialogLabel = textDialogLabel
604 val scrolledwindow2 =
605 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
606 (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
607 method scrolledwindow2 = scrolledwindow2
608 val textDialogTextView =
609 new GText.view (GtkText.View.cast
610 (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
611 method textDialogTextView = textDialogTextView
612 method reparent parent =
613 vbox5#misc#reparent parent;
615 method check_widgets () = ()
617 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
618 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
620 inherit Glade.xml ?autoconnect xmldata
622 new GWindow.window (GtkWindow.Window.cast
623 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
624 method toplevel = toplevel
626 new GWindow.window (GtkWindow.Window.cast
627 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
628 method toolBarWin = toolBarWin
629 val toolBarEventBox =
630 new GBin.event_box (GtkBin.EventBox.cast
631 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
632 method toolBarEventBox = toolBarEventBox
634 new GPack.box (GtkPack.Box.cast
635 (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
636 method toolBarVBox = toolBarVBox
638 new GButton.toolbar (GtkButton.Toolbar.cast
639 (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
640 method toolbar2 = toolbar2
642 new GButton.button (GtkButton.Button.cast
643 (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
644 method introsButton = introsButton
646 new GButton.button (GtkButton.Button.cast
647 (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
648 method applyButton = applyButton
650 new GButton.button (GtkButton.Button.cast
651 (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
652 method exactButton = exactButton
654 new GButton.toolbar (GtkButton.Toolbar.cast
655 (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
656 method toolbar3 = toolbar3
658 new GButton.button (GtkButton.Button.cast
659 (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
660 method elimButton = elimButton
662 new GButton.button (GtkButton.Button.cast
663 (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
664 method elimTypeButton = elimTypeButton
666 new GButton.toolbar (GtkButton.Toolbar.cast
667 (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
668 method toolbar4 = toolbar4
670 new GButton.button (GtkButton.Button.cast
671 (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
672 method splitButton = splitButton
674 new GButton.button (GtkButton.Button.cast
675 (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
676 method leftButton = leftButton
678 new GButton.button (GtkButton.Button.cast
679 (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
680 method rightButton = rightButton
682 new GButton.button (GtkButton.Button.cast
683 (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
684 method existsButton = existsButton
686 new GButton.toolbar (GtkButton.Toolbar.cast
687 (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
688 method toolbar5 = toolbar5
689 val reflexivityButton =
690 new GButton.button (GtkButton.Button.cast
691 (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
692 method reflexivityButton = reflexivityButton
694 new GButton.button (GtkButton.Button.cast
695 (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
696 method symmetryButton = symmetryButton
697 val transitivityButton =
698 new GButton.button (GtkButton.Button.cast
699 (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
700 method transitivityButton = transitivityButton
702 new GButton.toolbar (GtkButton.Toolbar.cast
703 (Glade.get_widget_msg ~name:"toolbar8" ~info:"GtkToolbar" xmldata))
704 method toolbar8 = toolbar8
706 new GButton.button (GtkButton.Button.cast
707 (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
708 method simplifyButton = simplifyButton
710 new GButton.button (GtkButton.Button.cast
711 (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
712 method reduceButton = reduceButton
714 new GButton.button (GtkButton.Button.cast
715 (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
716 method whdButton = whdButton
718 new GButton.toolbar (GtkButton.Toolbar.cast
719 (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
720 method toolbar6 = toolbar6
721 val assumptionButton =
722 new GButton.button (GtkButton.Button.cast
723 (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
724 method assumptionButton = assumptionButton
726 new GButton.button (GtkButton.Button.cast
727 (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
728 method autoButton = autoButton
730 new GButton.toolbar (GtkButton.Toolbar.cast
731 (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
732 method toolbar7 = toolbar7
734 new GButton.button (GtkButton.Button.cast
735 (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
736 method cutButton = cutButton
738 new GButton.button (GtkButton.Button.cast
739 (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
740 method replaceButton = replaceButton
741 method reparent parent =
742 toolBarEventBox#misc#reparent parent;
744 method check_widgets () = ()
746 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
747 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
749 inherit Glade.xml ?autoconnect xmldata
751 new GWindow.dialog_any (GtkWindow.Dialog.cast
752 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
753 method toplevel = toplevel
754 val uriChoiceDialog =
755 new GWindow.dialog_any (GtkWindow.Dialog.cast
756 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
757 method uriChoiceDialog = uriChoiceDialog
759 new GPack.box (GtkPack.Box.cast
760 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
761 method dialog_vbox3 = dialog_vbox3
762 val dialog_action_area3 =
763 new GPack.button_box (GtkPack.BBox.cast
764 (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
765 method dialog_action_area3 = dialog_action_area3
766 val uriChoiceAbortButton =
767 new GButton.button (GtkButton.Button.cast
768 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
769 method uriChoiceAbortButton = uriChoiceAbortButton
770 val uriChoiceSelectedButton =
771 new GButton.button (GtkButton.Button.cast
772 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
773 method uriChoiceSelectedButton = uriChoiceSelectedButton
775 new GBin.alignment (GtkBin.Alignment.cast
776 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
777 method alignment2 = alignment2
779 new GPack.box (GtkPack.Box.cast
780 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
783 new GMisc.image (GtkMisc.Image.cast
784 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
785 method image19 = image19
787 new GMisc.label (GtkMisc.Label.cast
788 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
789 method label3 = label3
790 val uriChoiceConstantsButton =
791 new GButton.button (GtkButton.Button.cast
792 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
793 method uriChoiceConstantsButton = uriChoiceConstantsButton
794 val uriChoiceAutoButton =
795 new GButton.button (GtkButton.Button.cast
796 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
797 method uriChoiceAutoButton = uriChoiceAutoButton
799 new GBin.alignment (GtkBin.Alignment.cast
800 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
801 method alignment1 = alignment1
803 new GPack.box (GtkPack.Box.cast
804 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
807 new GMisc.image (GtkMisc.Image.cast
808 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
809 method image18 = image18
811 new GMisc.label (GtkMisc.Label.cast
812 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
813 method label1 = label1
815 new GPack.box (GtkPack.Box.cast
816 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
819 new GMisc.label (GtkMisc.Label.cast
820 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
821 method uriChoiceLabel = uriChoiceLabel
822 val scrolledwindow1 =
823 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
824 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
825 method scrolledwindow1 = scrolledwindow1
826 val uriChoiceTreeView =
827 new GTree.view (GtkTree.TreeView.cast
828 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
829 method uriChoiceTreeView = uriChoiceTreeView
831 new GPack.box (GtkPack.Box.cast
832 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
835 new GMisc.label (GtkMisc.Label.cast
836 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
837 method label2 = label2
839 new GEdit.entry (GtkEdit.Entry.cast
840 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
841 method entry1 = entry1
842 method reparent parent =
843 dialog_vbox3#misc#reparent parent;
845 method check_widgets () = ()
848 let check_all ?(show=false) () =
849 ignore (GMain.Main.init ());
850 let uriChoiceDialog = new uriChoiceDialog () in
851 if show then uriChoiceDialog#toplevel#show ();
852 uriChoiceDialog#check_widgets ();
853 let toolBarWin = new toolBarWin () in
854 if show then toolBarWin#toplevel#show ();
855 toolBarWin#check_widgets ();
856 let textDialog = new textDialog () in
857 if show then textDialog#toplevel#show ();
858 textDialog#check_widgets ();
859 let scriptWin = new scriptWin () in
860 if show then scriptWin#toplevel#show ();
861 scriptWin#check_widgets ();
862 let mainWin = new mainWin () in
863 if show then mainWin#toplevel#show ();
864 mainWin#check_widgets ();
865 let interpChoiceDialog = new interpChoiceDialog () in
866 if show then interpChoiceDialog#toplevel#show ();
867 interpChoiceDialog#check_widgets ();
868 let fileSelectionWin = new fileSelectionWin () in
869 if show then fileSelectionWin#toplevel#show ();
870 fileSelectionWin#check_widgets ();
871 let emptyDialog = new emptyDialog () in
872 if show then emptyDialog#toplevel#show ();
873 emptyDialog#check_widgets ();
874 let confirmationDialog = new confirmationDialog () in
875 if show then confirmationDialog#toplevel#show ();
876 confirmationDialog#check_widgets ();
877 let browserWin = new browserWin () in
878 if show then browserWin#toplevel#show ();
879 browserWin#check_widgets ();
880 let aboutWin = new aboutWin () in
881 if show then aboutWin#toplevel#show ();
882 aboutWin#check_widgets ();
883 if show then GMain.Main.main ()