1 (* Automatically generated from mathita.glade by lablgladecc *)
3 class mainWin ?(file="mathita.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 GPack.box (GtkPack.Box.cast
17 (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
18 method mainWinShape = mainWinShape
20 new GMenu.menu_shell (GtkMenu.MenuBar.cast
21 (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
22 method mainMenuBar = mainMenuBar
24 new GMenu.menu_item (GtkMenu.MenuItem.cast
25 (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
26 method fileMenu = fileMenu
28 new GMenu.menu (GtkMenu.Menu.cast
29 (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
30 method fileMenu_menu = fileMenu_menu
32 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
33 (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
34 method newMenu = newMenu
36 new GMisc.image (GtkMisc.Image.cast
37 (Glade.get_widget_msg ~name:"image13" ~info:"GtkImage" xmldata))
38 method image13 = image13
40 new GMenu.menu (GtkMenu.Menu.cast
41 (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
42 method newMenu_menu = newMenu_menu
43 val newProofMenuItem =
44 new GMenu.menu_item (GtkMenu.MenuItem.cast
45 (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
46 method newProofMenuItem = newProofMenuItem
48 new GMenu.menu_item (GtkMenu.MenuItem.cast
49 (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
50 method newDefsMenuItem = newDefsMenuItem
52 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
53 (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
54 method openMenuItem = openMenuItem
56 new GMisc.image (GtkMisc.Image.cast
57 (Glade.get_widget_msg ~name:"image14" ~info:"GtkImage" xmldata))
58 method image14 = image14
60 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
61 (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
62 method saveMenuItem = saveMenuItem
64 new GMisc.image (GtkMisc.Image.cast
65 (Glade.get_widget_msg ~name:"image15" ~info:"GtkImage" xmldata))
66 method image15 = image15
68 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
69 (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
70 method saveAsMenuItem = saveAsMenuItem
72 new GMisc.image (GtkMisc.Image.cast
73 (Glade.get_widget_msg ~name:"image16" ~info:"GtkImage" xmldata))
74 method image16 = image16
76 new GMenu.menu_item (GtkMenu.MenuItem.cast
77 (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
78 method separator1 = separator1
80 new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
81 (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
82 method quitMenuItem = quitMenuItem
84 new GMisc.image (GtkMisc.Image.cast
85 (Glade.get_widget_msg ~name:"image17" ~info:"GtkImage" xmldata))
86 method image17 = image17
88 new GMenu.menu_item (GtkMenu.MenuItem.cast
89 (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
90 method editMenu = editMenu
92 new GMenu.menu_item (GtkMenu.MenuItem.cast
93 (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
94 method viewMenu = viewMenu
96 new GMenu.menu (GtkMenu.Menu.cast
97 (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
98 method viewMenu_menu = viewMenu_menu
99 val showToolBarMenuItem =
100 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
101 (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
102 method showToolBarMenuItem = showToolBarMenuItem
103 val showProofMenuItem =
104 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
105 (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
106 method showProofMenuItem = showProofMenuItem
108 new GMenu.menu_item (GtkMenu.MenuItem.cast
109 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
110 method helpMenu = helpMenu
112 new GMenu.menu (GtkMenu.Menu.cast
113 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
114 method helpMenu_menu = helpMenu_menu
116 new GMenu.menu_item (GtkMenu.MenuItem.cast
117 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
118 method aboutMenuItem = aboutMenuItem
120 new GPack.paned (GtkPack.Paned.cast
121 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
122 method mainVPanes = mainVPanes
124 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
125 (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
126 method proofStatus = proofStatus
127 val scrolledUserInput =
128 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
129 (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
130 method scrolledUserInput = scrolledUserInput
132 new GMisc.statusbar (GtkMisc.Statusbar.cast
133 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
134 method mainStatusBar = mainStatusBar
135 method reparent parent =
136 mainWinShape#misc#reparent parent;
138 method check_widgets () = ()
140 class proofWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
141 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
143 inherit Glade.xml ?autoconnect xmldata
145 new GWindow.window (GtkWindow.Window.cast
146 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
147 method toplevel = toplevel
149 new GWindow.window (GtkWindow.Window.cast
150 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
151 method proofWin = proofWin
152 val proofWinEventBox =
153 new GBin.event_box (GtkBin.EventBox.cast
154 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
155 method proofWinEventBox = proofWinEventBox
157 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
158 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
159 method scrolledProof = scrolledProof
161 new GBin.viewport (GtkBin.Viewport.cast
162 (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
163 method viewport1 = viewport1
164 method reparent parent =
165 proofWinEventBox#misc#reparent parent;
167 method check_widgets () = ()
169 class fileSelectionWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
170 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
172 inherit Glade.xml ?autoconnect xmldata
174 new GWindow.file_selection (GtkWindow.FileSelection.cast
175 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
176 method toplevel = toplevel
177 val fileSelectionWin =
178 new GWindow.file_selection (GtkWindow.FileSelection.cast
179 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
180 method fileSelectionWin = fileSelectionWin
182 new GButton.button (GtkButton.Button.cast
183 (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
184 method cancel_button1 = cancel_button1
186 new GButton.button (GtkButton.Button.cast
187 (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
188 method ok_button1 = ok_button1
189 method check_widgets () = ()
191 class toolBarWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
192 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
194 inherit Glade.xml ?autoconnect xmldata
196 new GWindow.window (GtkWindow.Window.cast
197 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
198 method toplevel = toplevel
200 new GWindow.window (GtkWindow.Window.cast
201 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
202 method toolBarWin = toolBarWin
203 val toolBarEventBox =
204 new GBin.event_box (GtkBin.EventBox.cast
205 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
206 method toolBarEventBox = toolBarEventBox
208 new GPack.box (GtkPack.Box.cast
209 (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
212 new GButton.button (GtkButton.Button.cast
213 (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
214 method button1 = button1
216 new GButton.button (GtkButton.Button.cast
217 (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
218 method button2 = button2
220 new GButton.button (GtkButton.Button.cast
221 (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
222 method button3 = button3
224 new GButton.button (GtkButton.Button.cast
225 (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
226 method button4 = button4
227 method reparent parent =
228 toolBarEventBox#misc#reparent parent;
230 method check_widgets () = ()
232 class genericDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
233 let xmldata = Glade.create ~file ~root:"GenericDialog" ?domain () in
235 inherit Glade.xml ?autoconnect xmldata
236 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
237 new GWindow.dialog (GtkWindow.Dialog.cast
238 (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
239 method toplevel = toplevel
240 val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
241 new GWindow.dialog (GtkWindow.Dialog.cast
242 (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
243 method genericDialog = genericDialog
245 new GPack.box (GtkPack.Box.cast
246 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
247 method dialog_vbox1 = dialog_vbox1
249 new GButton.button (GtkButton.Button.cast
250 (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
251 method cancelbutton1 = cancelbutton1
253 new GButton.button (GtkButton.Button.cast
254 (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
255 method okbutton1 = okbutton1
256 method reparent parent =
257 dialog_vbox1#misc#reparent parent;
259 method check_widgets () = ()
261 class aboutWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
262 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
264 inherit Glade.xml ?autoconnect xmldata
265 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
266 new GWindow.dialog (GtkWindow.Dialog.cast
267 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
268 method toplevel = toplevel
269 val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
270 new GWindow.dialog (GtkWindow.Dialog.cast
271 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
272 method aboutWin = aboutWin
274 new GPack.box (GtkPack.Box.cast
275 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
276 method dialog_vbox2 = dialog_vbox2
277 val aboutDismissButton =
278 new GButton.button (GtkButton.Button.cast
279 (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
280 method aboutDismissButton = aboutDismissButton
281 method reparent parent =
282 dialog_vbox2#misc#reparent parent;
284 method check_widgets () = ()
286 class uriChoiceDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
287 let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
289 inherit Glade.xml ?autoconnect xmldata
290 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
291 new GWindow.dialog (GtkWindow.Dialog.cast
292 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
293 method toplevel = toplevel
294 val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
295 new GWindow.dialog (GtkWindow.Dialog.cast
296 (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
297 method uriChoiceDialog = uriChoiceDialog
299 new GPack.box (GtkPack.Box.cast
300 (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
301 method dialog_vbox3 = dialog_vbox3
302 val uriChoiceAbortButton =
303 new GButton.button (GtkButton.Button.cast
304 (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
305 method uriChoiceAbortButton = uriChoiceAbortButton
306 val uriChoiceSelectedButton =
307 new GButton.button (GtkButton.Button.cast
308 (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
309 method uriChoiceSelectedButton = uriChoiceSelectedButton
311 new GBin.alignment (GtkBin.Alignment.cast
312 (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
313 method alignment2 = alignment2
315 new GPack.box (GtkPack.Box.cast
316 (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
319 new GMisc.image (GtkMisc.Image.cast
320 (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
321 method image19 = image19
323 new GMisc.label (GtkMisc.Label.cast
324 (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
325 method label3 = label3
326 val uriChoiceConstantsButton =
327 new GButton.button (GtkButton.Button.cast
328 (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
329 method uriChoiceConstantsButton = uriChoiceConstantsButton
330 val uriChoiceAutoButton =
331 new GButton.button (GtkButton.Button.cast
332 (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
333 method uriChoiceAutoButton = uriChoiceAutoButton
335 new GBin.alignment (GtkBin.Alignment.cast
336 (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
337 method alignment1 = alignment1
339 new GPack.box (GtkPack.Box.cast
340 (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
343 new GMisc.image (GtkMisc.Image.cast
344 (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
345 method image18 = image18
347 new GMisc.label (GtkMisc.Label.cast
348 (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
349 method label1 = label1
351 new GPack.box (GtkPack.Box.cast
352 (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
355 new GMisc.label (GtkMisc.Label.cast
356 (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
357 method uriChoiceLabel = uriChoiceLabel
358 val scrolledwindow1 =
359 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
360 (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
361 method scrolledwindow1 = scrolledwindow1
362 val uriChoiceTreeView =
363 new GTree.view (GtkTree.TreeView.cast
364 (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
365 method uriChoiceTreeView = uriChoiceTreeView
367 new GPack.box (GtkPack.Box.cast
368 (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
371 new GMisc.label (GtkMisc.Label.cast
372 (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
373 method label2 = label2
375 new GEdit.entry (GtkEdit.Entry.cast
376 (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
377 method entry1 = entry1
378 method reparent parent =
379 dialog_vbox3#misc#reparent parent;
381 method check_widgets () = ()
383 class interpChoiceDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
384 let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
386 inherit Glade.xml ?autoconnect xmldata
387 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
388 new GWindow.dialog (GtkWindow.Dialog.cast
389 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
390 method toplevel = toplevel
391 val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
392 new GWindow.dialog (GtkWindow.Dialog.cast
393 (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
394 method interpChoiceDialog = interpChoiceDialog
396 new GPack.box (GtkPack.Box.cast
397 (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
398 method dialog_vbox4 = dialog_vbox4
399 val interpChoiceHelpButton =
400 new GButton.button (GtkButton.Button.cast
401 (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
402 method interpChoiceHelpButton = interpChoiceHelpButton
403 val interpChoiceCancelButton =
404 new GButton.button (GtkButton.Button.cast
405 (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
406 method interpChoiceCancelButton = interpChoiceCancelButton
407 val interpChoiceOkButton =
408 new GButton.button (GtkButton.Button.cast
409 (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
410 method interpChoiceOkButton = interpChoiceOkButton
412 new GPack.box (GtkPack.Box.cast
413 (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
416 new GMisc.label (GtkMisc.Label.cast
417 (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
418 method label6 = label6
419 method reparent parent =
420 dialog_vbox4#misc#reparent parent;
422 method check_widgets () = ()
425 let check_all ?(show=false) () =
426 ignore (GMain.Main.init ());
427 let interpChoiceDialog = new interpChoiceDialog () in
428 if show then interpChoiceDialog#toplevel#show ();
429 interpChoiceDialog#check_widgets ();
430 let uriChoiceDialog = new uriChoiceDialog () in
431 if show then uriChoiceDialog#toplevel#show ();
432 uriChoiceDialog#check_widgets ();
433 let aboutWin = new aboutWin () in
434 if show then aboutWin#toplevel#show ();
435 aboutWin#check_widgets ();
436 let genericDialog = new genericDialog () in
437 if show then genericDialog#toplevel#show ();
438 genericDialog#check_widgets ();
439 let toolBarWin = new toolBarWin () in
440 if show then toolBarWin#toplevel#show ();
441 toolBarWin#check_widgets ();
442 let fileSelectionWin = new fileSelectionWin () in
443 if show then fileSelectionWin#toplevel#show ();
444 fileSelectionWin#check_widgets ();
445 let proofWin = new proofWin () in
446 if show then proofWin#toplevel#show ();
447 proofWin#check_widgets ();
448 let mainWin = new mainWin () in
449 if show then mainWin#toplevel#show ();
450 mainWin#check_widgets ();
451 if show then GMain.Main.main ()