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.menu_item (GtkMenu.MenuItem.cast
33 (Glade.get_widget_msg ~name:"ExitMenuItem" ~info:"GtkMenuItem" xmldata))
34 method exitMenuItem = exitMenuItem
36 new GMenu.menu_item (GtkMenu.MenuItem.cast
37 (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
38 method editMenu = editMenu
40 new GMenu.menu_item (GtkMenu.MenuItem.cast
41 (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
42 method viewMenu = viewMenu
44 new GMenu.menu (GtkMenu.Menu.cast
45 (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
46 method viewMenu_menu = viewMenu_menu
47 val showToolBarMenuItem =
48 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
49 (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
50 method showToolBarMenuItem = showToolBarMenuItem
51 val showProofMenuItem =
52 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
53 (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
54 method showProofMenuItem = showProofMenuItem
56 new GMenu.menu_item (GtkMenu.MenuItem.cast
57 (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
58 method helpMenu = helpMenu
60 new GMenu.menu (GtkMenu.Menu.cast
61 (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
62 method helpMenu_menu = helpMenu_menu
64 new GMenu.menu_item (GtkMenu.MenuItem.cast
65 (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
66 method aboutMenuItem = aboutMenuItem
68 new GPack.paned (GtkPack.Paned.cast
69 (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
70 method mainVPanes = mainVPanes
72 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
73 (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
74 method proofStatus = proofStatus
75 val scrolledUserInput =
76 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
77 (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
78 method scrolledUserInput = scrolledUserInput
80 new GText.view (GtkText.View.cast
81 (Glade.get_widget_msg ~name:"UserInput" ~info:"GtkTextView" xmldata))
82 method userInput = userInput
84 new GMisc.statusbar (GtkMisc.Statusbar.cast
85 (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
86 method mainStatusBar = mainStatusBar
87 method reparent parent =
88 mainWinShape#misc#reparent parent;
90 method check_widgets () = ()
92 class proofWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
93 let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
95 inherit Glade.xml ?autoconnect xmldata
97 new GWindow.window (GtkWindow.Window.cast
98 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
99 method toplevel = toplevel
101 new GWindow.window (GtkWindow.Window.cast
102 (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
103 method proofWin = proofWin
104 val proofWinEventBox =
105 new GBin.event_box (GtkBin.EventBox.cast
106 (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
107 method proofWinEventBox = proofWinEventBox
109 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
110 (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
111 method scrolledProof = scrolledProof
113 new GBin.viewport (GtkBin.Viewport.cast
114 (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
115 method viewport1 = viewport1
116 method reparent parent =
117 proofWinEventBox#misc#reparent parent;
119 method check_widgets () = ()
121 class fileSelectionWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
122 let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
124 inherit Glade.xml ?autoconnect xmldata
126 new GWindow.file_selection (GtkWindow.FileSelection.cast
127 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
128 method toplevel = toplevel
129 val fileSelectionWin =
130 new GWindow.file_selection (GtkWindow.FileSelection.cast
131 (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
132 method fileSelectionWin = fileSelectionWin
134 new GButton.button (GtkButton.Button.cast
135 (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
136 method cancel_button1 = cancel_button1
138 new GButton.button (GtkButton.Button.cast
139 (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
140 method ok_button1 = ok_button1
141 method check_widgets () = ()
143 class toolBarWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
144 let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
146 inherit Glade.xml ?autoconnect xmldata
148 new GWindow.window (GtkWindow.Window.cast
149 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
150 method toplevel = toplevel
152 new GWindow.window (GtkWindow.Window.cast
153 (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
154 method toolBarWin = toolBarWin
155 val toolBarEventBox =
156 new GBin.event_box (GtkBin.EventBox.cast
157 (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
158 method toolBarEventBox = toolBarEventBox
160 new GPack.box (GtkPack.Box.cast
161 (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
164 new GButton.button (GtkButton.Button.cast
165 (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
166 method button1 = button1
168 new GButton.button (GtkButton.Button.cast
169 (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
170 method button2 = button2
172 new GButton.button (GtkButton.Button.cast
173 (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
174 method button3 = button3
176 new GButton.button (GtkButton.Button.cast
177 (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
178 method button4 = button4
179 method reparent parent =
180 toolBarEventBox#misc#reparent parent;
182 method check_widgets () = ()
184 class genericDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
185 let xmldata = Glade.create ~file ~root:"GenericDialog" ?domain () in
187 inherit Glade.xml ?autoconnect xmldata
188 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
189 new GWindow.dialog (GtkWindow.Dialog.cast
190 (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
191 method toplevel = toplevel
192 val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
193 new GWindow.dialog (GtkWindow.Dialog.cast
194 (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
195 method genericDialog = genericDialog
197 new GPack.box (GtkPack.Box.cast
198 (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
199 method dialog_vbox1 = dialog_vbox1
201 new GButton.button (GtkButton.Button.cast
202 (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
203 method cancelbutton1 = cancelbutton1
205 new GButton.button (GtkButton.Button.cast
206 (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
207 method okbutton1 = okbutton1
208 method reparent parent =
209 dialog_vbox1#misc#reparent parent;
211 method check_widgets () = ()
213 class aboutWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
214 let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
216 inherit Glade.xml ?autoconnect xmldata
217 val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
218 new GWindow.dialog (GtkWindow.Dialog.cast
219 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
220 method toplevel = toplevel
221 val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
222 new GWindow.dialog (GtkWindow.Dialog.cast
223 (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
224 method aboutWin = aboutWin
226 new GPack.box (GtkPack.Box.cast
227 (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
228 method dialog_vbox2 = dialog_vbox2
230 new GButton.button (GtkButton.Button.cast
231 (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
232 method okbutton2 = okbutton2
233 method reparent parent =
234 dialog_vbox2#misc#reparent parent;
236 method check_widgets () = ()
239 let check_all ?(show=false) () =
240 ignore (GMain.Main.init ());
241 let aboutWin = new aboutWin () in
242 if show then aboutWin#toplevel#show ();
243 aboutWin#check_widgets ();
244 let genericDialog = new genericDialog () in
245 if show then genericDialog#toplevel#show ();
246 genericDialog#check_widgets ();
247 let toolBarWin = new toolBarWin () in
248 if show then toolBarWin#toplevel#show ();
249 toolBarWin#check_widgets ();
250 let fileSelectionWin = new fileSelectionWin () in
251 if show then fileSelectionWin#toplevel#show ();
252 fileSelectionWin#check_widgets ();
253 let proofWin = new proofWin () in
254 if show then proofWin#toplevel#show ();
255 proofWin#check_widgets ();
256 let mainWin = new mainWin () in
257 if show then mainWin#toplevel#show ();
258 mainWin#check_widgets ();
259 if show then GMain.Main.main ()