7 val aboutMenuItem : GMenu.menu_item
8 val debugMenu : GMenu.menu_item
9 val debugMenu_menu : GMenu.menu
10 val editMenu : GMenu.menu_item
11 val fileMenu : GMenu.menu_item
12 val fileMenu_menu : GMenu.menu
13 val helpMenu : GMenu.menu_item
14 val helpMenu_menu : GMenu.menu
15 val image76 : GMisc.image
16 val image77 : GMisc.image
17 val image78 : GMisc.image
18 val image79 : GMisc.image
19 val image80 : GMisc.image
20 val mainMenuBar : GMenu.menu_shell
21 val mainStatusBar : GMisc.statusbar
22 val mainVPanes : GPack.paned
23 val mainWin : GWindow.window
24 val mainWinShape : GPack.box
25 val newDefsMenuItem : GMenu.menu_item
26 val newMenu : GMenu.image_menu_item
27 val newMenu_menu : GMenu.menu
28 val newProofMenuItem : GMenu.menu_item
29 val openMenuItem : GMenu.image_menu_item
30 val proofStatus : GBin.scrolled_window
31 val quitMenuItem : GMenu.image_menu_item
32 val saveAsMenuItem : GMenu.image_menu_item
33 val saveMenuItem : GMenu.image_menu_item
34 val scrolledUserInput : GBin.scrolled_window
35 val separator1 : GMenu.menu_item
36 val separator2 : GMenu.menu_item
37 val showProofMenuItem : GMenu.check_menu_item
38 val showToolBarMenuItem : GMenu.check_menu_item
39 val toplevel : GWindow.window
40 val viewMenu : GMenu.menu_item
41 val viewMenu_menu : GMenu.menu
42 val xml : Glade.glade_xml Gtk.obj
43 method aboutMenuItem : GMenu.menu_item
44 method bind : name:string -> callback:(unit -> unit) -> unit
45 method check_widgets : unit -> unit
46 method debugMenu : GMenu.menu_item
47 method debugMenu_menu : GMenu.menu
48 method editMenu : GMenu.menu_item
49 method fileMenu : GMenu.menu_item
50 method fileMenu_menu : GMenu.menu
51 method helpMenu : GMenu.menu_item
52 method helpMenu_menu : GMenu.menu
53 method image76 : GMisc.image
54 method image77 : GMisc.image
55 method image78 : GMisc.image
56 method image79 : GMisc.image
57 method image80 : GMisc.image
58 method mainMenuBar : GMenu.menu_shell
59 method mainStatusBar : GMisc.statusbar
60 method mainVPanes : GPack.paned
61 method mainWin : GWindow.window
62 method mainWinShape : GPack.box
63 method newDefsMenuItem : GMenu.menu_item
64 method newMenu : GMenu.image_menu_item
65 method newMenu_menu : GMenu.menu
66 method newProofMenuItem : GMenu.menu_item
67 method openMenuItem : GMenu.image_menu_item
68 method proofStatus : GBin.scrolled_window
69 method quitMenuItem : GMenu.image_menu_item
70 method reparent : GObj.widget -> unit
71 method saveAsMenuItem : GMenu.image_menu_item
72 method saveMenuItem : GMenu.image_menu_item
73 method scrolledUserInput : GBin.scrolled_window
74 method separator1 : GMenu.menu_item
75 method separator2 : GMenu.menu_item
76 method showProofMenuItem : GMenu.check_menu_item
77 method showToolBarMenuItem : GMenu.check_menu_item
78 method toplevel : GWindow.window
79 method viewMenu : GMenu.menu_item
80 method viewMenu_menu : GMenu.menu
81 method xml : Glade.glade_xml Gtk.obj
89 val proofWin : GWindow.window
90 val proofWinEventBox : GBin.event_box
91 val scrolledProof : GBin.scrolled_window
92 val toplevel : GWindow.window
93 val viewport1 : GBin.viewport
94 val xml : Glade.glade_xml Gtk.obj
95 method bind : name:string -> callback:(unit -> unit) -> unit
96 method check_widgets : unit -> unit
97 method proofWin : GWindow.window
98 method proofWinEventBox : GBin.event_box
99 method reparent : GObj.widget -> unit
100 method scrolledProof : GBin.scrolled_window
101 method toplevel : GWindow.window
102 method viewport1 : GBin.viewport
103 method xml : Glade.glade_xml Gtk.obj
105 class fileSelectionWin :
111 val cancel_button1 : GButton.button
112 val fileSelectionWin : GWindow.file_selection
113 val ok_button1 : GButton.button
114 val toplevel : GWindow.file_selection
115 val xml : Glade.glade_xml Gtk.obj
116 method bind : name:string -> callback:(unit -> unit) -> unit
117 method cancel_button1 : GButton.button
118 method check_widgets : unit -> unit
119 method fileSelectionWin : GWindow.file_selection
120 method ok_button1 : GButton.button
121 method toplevel : GWindow.file_selection
122 method xml : Glade.glade_xml Gtk.obj
130 val button1 : GButton.button
131 val button2 : GButton.button
132 val button3 : GButton.button
133 val button4 : GButton.button
134 val toolBarEventBox : GBin.event_box
135 val toolBarWin : GWindow.window
136 val toplevel : GWindow.window
137 val vbox1 : GPack.box
138 val xml : Glade.glade_xml Gtk.obj
139 method bind : name:string -> callback:(unit -> unit) -> unit
140 method button1 : GButton.button
141 method button2 : GButton.button
142 method button3 : GButton.button
143 method button4 : GButton.button
144 method check_widgets : unit -> unit
145 method reparent : GObj.widget -> unit
146 method toolBarEventBox : GBin.event_box
147 method toolBarWin : GWindow.window
148 method toplevel : GWindow.window
149 method vbox1 : GPack.box
150 method xml : Glade.glade_xml Gtk.obj
152 class genericDialog :
158 val cancelbutton1 : GButton.button
159 val dialog_vbox1 : GPack.box
160 val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
161 val okbutton1 : GButton.button
162 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
163 val xml : Glade.glade_xml Gtk.obj
164 method bind : name:string -> callback:(unit -> unit) -> unit
165 method cancelbutton1 : GButton.button
166 method check_widgets : unit -> unit
167 method dialog_vbox1 : GPack.box
168 method genericDialog :
169 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
170 method okbutton1 : GButton.button
171 method reparent : GObj.widget -> unit
172 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
173 method xml : Glade.glade_xml Gtk.obj
181 val aboutDismissButton : GButton.button
182 val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
183 val dialog_vbox2 : GPack.box
184 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
185 val xml : Glade.glade_xml Gtk.obj
186 method aboutDismissButton : GButton.button
187 method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
188 method bind : name:string -> callback:(unit -> unit) -> unit
189 method check_widgets : unit -> unit
190 method dialog_vbox2 : GPack.box
191 method reparent : GObj.widget -> unit
192 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
193 method xml : Glade.glade_xml Gtk.obj
195 class uriChoiceDialog :
201 val alignment1 : GBin.alignment
202 val alignment2 : GBin.alignment
203 val dialog_vbox3 : GPack.box
204 val entry1 : GEdit.entry
205 val hbox1 : GPack.box
206 val hbox2 : GPack.box
207 val hbox3 : GPack.box
208 val image18 : GMisc.image
209 val image19 : GMisc.image
210 val label1 : GMisc.label
211 val label2 : GMisc.label
212 val label3 : GMisc.label
213 val scrolledwindow1 : GBin.scrolled_window
214 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
215 val uriChoiceAbortButton : GButton.button
216 val uriChoiceAutoButton : GButton.button
217 val uriChoiceConstantsButton : GButton.button
218 val uriChoiceDialog :
219 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
220 val uriChoiceLabel : GMisc.label
221 val uriChoiceSelectedButton : GButton.button
222 val uriChoiceTreeView : GTree.view
223 val vbox2 : GPack.box
224 val xml : Glade.glade_xml Gtk.obj
225 method alignment1 : GBin.alignment
226 method alignment2 : GBin.alignment
227 method bind : name:string -> callback:(unit -> unit) -> unit
228 method check_widgets : unit -> unit
229 method dialog_vbox3 : GPack.box
230 method entry1 : GEdit.entry
231 method hbox1 : GPack.box
232 method hbox2 : GPack.box
233 method hbox3 : GPack.box
234 method image18 : GMisc.image
235 method image19 : GMisc.image
236 method label1 : GMisc.label
237 method label2 : GMisc.label
238 method label3 : GMisc.label
239 method reparent : GObj.widget -> unit
240 method scrolledwindow1 : GBin.scrolled_window
241 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
242 method uriChoiceAbortButton : GButton.button
243 method uriChoiceAutoButton : GButton.button
244 method uriChoiceConstantsButton : GButton.button
245 method uriChoiceDialog :
246 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
247 method uriChoiceLabel : GMisc.label
248 method uriChoiceSelectedButton : GButton.button
249 method uriChoiceTreeView : GTree.view
250 method vbox2 : GPack.box
251 method xml : Glade.glade_xml Gtk.obj
253 class interpChoiceDialog :
259 val dialog_vbox4 : GPack.box
260 val interpChoiceCancelButton : GButton.button
261 val interpChoiceDialog :
262 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
263 val interpChoiceHelpButton : GButton.button
264 val interpChoiceOkButton : GButton.button
265 val label6 : GMisc.label
266 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
267 val vbox3 : GPack.box
268 val xml : Glade.glade_xml Gtk.obj
269 method bind : name:string -> callback:(unit -> unit) -> unit
270 method check_widgets : unit -> unit
271 method dialog_vbox4 : GPack.box
272 method interpChoiceCancelButton : GButton.button
273 method interpChoiceDialog :
274 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
275 method interpChoiceHelpButton : GButton.button
276 method interpChoiceOkButton : GButton.button
277 method label6 : GMisc.label
278 method reparent : GObj.widget -> unit
279 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
280 method vbox3 : GPack.box
281 method xml : Glade.glade_xml Gtk.obj
283 val check_all : ?show:bool -> unit -> unit