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