]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/matitaGeneratedGui.ml
snapshot
[helm.git] / helm / matita / matitaGeneratedGui.ml
1 (* Automatically generated from matita.glade by lablgladecc *)
2
3 class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
4   let xmldata = Glade.create ~file  ~root:"MainWin" ?domain () in
5   object (self)
6     inherit Glade.xml ?autoconnect xmldata
7     val toplevel =
8       new GWindow.window (GtkWindow.Window.cast
9         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
10     method toplevel = toplevel
11     val mainWin =
12       new GWindow.window (GtkWindow.Window.cast
13         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
14     method mainWin = mainWin
15     val mainWinShape =
16       new GPack.box (GtkPack.Box.cast
17         (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
18     method mainWinShape = mainWinShape
19     val mainMenuBar =
20       new GMenu.menu_shell (GtkMenu.MenuBar.cast
21         (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
22     method mainMenuBar = mainMenuBar
23     val fileMenu =
24       new GMenu.menu_item (GtkMenu.MenuItem.cast
25         (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
26     method fileMenu = fileMenu
27     val fileMenu_menu =
28       new GMenu.menu (GtkMenu.Menu.cast
29         (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
30     method fileMenu_menu = fileMenu_menu
31     val newMenu =
32       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
33         (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
34     method newMenu = newMenu
35     val image76 =
36       new GMisc.image (GtkMisc.Image.cast
37         (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
38     method image76 = image76
39     val newMenu_menu =
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
47     val newDefsMenuItem =
48       new GMenu.menu_item (GtkMenu.MenuItem.cast
49         (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
50     method newDefsMenuItem = newDefsMenuItem
51     val openMenuItem =
52       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
53         (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
54     method openMenuItem = openMenuItem
55     val image77 =
56       new GMisc.image (GtkMisc.Image.cast
57         (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
58     method image77 = image77
59     val saveMenuItem =
60       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
61         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
62     method saveMenuItem = saveMenuItem
63     val image78 =
64       new GMisc.image (GtkMisc.Image.cast
65         (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
66     method image78 = image78
67     val saveAsMenuItem =
68       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
69         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
70     method saveAsMenuItem = saveAsMenuItem
71     val image79 =
72       new GMisc.image (GtkMisc.Image.cast
73         (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
74     method image79 = image79
75     val separator1 =
76       new GMenu.menu_item (GtkMenu.MenuItem.cast
77         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
78     method separator1 = separator1
79     val quitMenuItem =
80       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
81         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
82     method quitMenuItem = quitMenuItem
83     val image80 =
84       new GMisc.image (GtkMisc.Image.cast
85         (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
86     method image80 = image80
87     val editMenu =
88       new GMenu.menu_item (GtkMenu.MenuItem.cast
89         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
90     method editMenu = editMenu
91     val viewMenu =
92       new GMenu.menu_item (GtkMenu.MenuItem.cast
93         (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
94     method viewMenu = viewMenu
95     val viewMenu_menu =
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
107     val debugMenu =
108       new GMenu.menu_item (GtkMenu.MenuItem.cast
109         (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
110     method debugMenu = debugMenu
111     val debugMenu_menu =
112       new GMenu.menu (GtkMenu.Menu.cast
113         (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
114     method debugMenu_menu = debugMenu_menu
115     val separator2 =
116       new GMenu.menu_item (GtkMenu.MenuItem.cast
117         (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
118     method separator2 = separator2
119     val helpMenu =
120       new GMenu.menu_item (GtkMenu.MenuItem.cast
121         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
122     method helpMenu = helpMenu
123     val helpMenu_menu =
124       new GMenu.menu (GtkMenu.Menu.cast
125         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
126     method helpMenu_menu = helpMenu_menu
127     val aboutMenuItem =
128       new GMenu.menu_item (GtkMenu.MenuItem.cast
129         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
130     method aboutMenuItem = aboutMenuItem
131     val mainVPanes =
132       new GPack.paned (GtkPack.Paned.cast
133         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
134     method mainVPanes = mainVPanes
135     val proofStatus =
136       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
137         (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
138     method proofStatus = proofStatus
139     val scrolledUserInput =
140       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
141         (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
142     method scrolledUserInput = scrolledUserInput
143     val mainStatusBar =
144       new GMisc.statusbar (GtkMisc.Statusbar.cast
145         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
146     method mainStatusBar = mainStatusBar
147     method reparent parent =
148       mainWinShape#misc#reparent parent;
149       toplevel#destroy ()
150     method check_widgets () = ()
151   end
152 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
153   let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
154   object (self)
155     inherit Glade.xml ?autoconnect xmldata
156     val toplevel =
157       new GWindow.window (GtkWindow.Window.cast
158         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
159     method toplevel = toplevel
160     val proofWin =
161       new GWindow.window (GtkWindow.Window.cast
162         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
163     method proofWin = proofWin
164     val proofWinEventBox =
165       new GBin.event_box (GtkBin.EventBox.cast
166         (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
167     method proofWinEventBox = proofWinEventBox
168     val scrolledProof =
169       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
170         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
171     method scrolledProof = scrolledProof
172     val viewport1 =
173       new GBin.viewport (GtkBin.Viewport.cast
174         (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
175     method viewport1 = viewport1
176     method reparent parent =
177       proofWinEventBox#misc#reparent parent;
178       toplevel#destroy ()
179     method check_widgets () = ()
180   end
181 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
182   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
183   object (self)
184     inherit Glade.xml ?autoconnect xmldata
185     val toplevel =
186       new GWindow.file_selection (GtkWindow.FileSelection.cast
187         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
188     method toplevel = toplevel
189     val fileSelectionWin =
190       new GWindow.file_selection (GtkWindow.FileSelection.cast
191         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
192     method fileSelectionWin = fileSelectionWin
193     val cancel_button1 =
194       new GButton.button (GtkButton.Button.cast
195         (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
196     method cancel_button1 = cancel_button1
197     val ok_button1 =
198       new GButton.button (GtkButton.Button.cast
199         (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
200     method ok_button1 = ok_button1
201     method check_widgets () = ()
202   end
203 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
204   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
205   object (self)
206     inherit Glade.xml ?autoconnect xmldata
207     val toplevel =
208       new GWindow.window (GtkWindow.Window.cast
209         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
210     method toplevel = toplevel
211     val toolBarWin =
212       new GWindow.window (GtkWindow.Window.cast
213         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
214     method toolBarWin = toolBarWin
215     val toolBarEventBox =
216       new GBin.event_box (GtkBin.EventBox.cast
217         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
218     method toolBarEventBox = toolBarEventBox
219     val vbox1 =
220       new GPack.box (GtkPack.Box.cast
221         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
222     method vbox1 = vbox1
223     val button1 =
224       new GButton.button (GtkButton.Button.cast
225         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
226     method button1 = button1
227     val button2 =
228       new GButton.button (GtkButton.Button.cast
229         (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
230     method button2 = button2
231     val button3 =
232       new GButton.button (GtkButton.Button.cast
233         (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
234     method button3 = button3
235     val button4 =
236       new GButton.button (GtkButton.Button.cast
237         (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
238     method button4 = button4
239     method reparent parent =
240       toolBarEventBox#misc#reparent parent;
241       toplevel#destroy ()
242     method check_widgets () = ()
243   end
244 class genericDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
245   let xmldata = Glade.create ~file  ~root:"GenericDialog" ?domain () in
246   object (self)
247     inherit Glade.xml ?autoconnect xmldata
248     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
249       new GWindow.dialog (GtkWindow.Dialog.cast
250         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
251     method toplevel = toplevel
252     val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
253       new GWindow.dialog (GtkWindow.Dialog.cast
254         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
255     method genericDialog = genericDialog
256     val dialog_vbox1 =
257       new GPack.box (GtkPack.Box.cast
258         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
259     method dialog_vbox1 = dialog_vbox1
260     val cancelbutton1 =
261       new GButton.button (GtkButton.Button.cast
262         (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
263     method cancelbutton1 = cancelbutton1
264     val okbutton1 =
265       new GButton.button (GtkButton.Button.cast
266         (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
267     method okbutton1 = okbutton1
268     method reparent parent =
269       dialog_vbox1#misc#reparent parent;
270       toplevel#destroy ()
271     method check_widgets () = ()
272   end
273 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
274   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
275   object (self)
276     inherit Glade.xml ?autoconnect xmldata
277     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
278       new GWindow.dialog (GtkWindow.Dialog.cast
279         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
280     method toplevel = toplevel
281     val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
282       new GWindow.dialog (GtkWindow.Dialog.cast
283         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
284     method aboutWin = aboutWin
285     val dialog_vbox2 =
286       new GPack.box (GtkPack.Box.cast
287         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
288     method dialog_vbox2 = dialog_vbox2
289     val aboutDismissButton =
290       new GButton.button (GtkButton.Button.cast
291         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
292     method aboutDismissButton = aboutDismissButton
293     method reparent parent =
294       dialog_vbox2#misc#reparent parent;
295       toplevel#destroy ()
296     method check_widgets () = ()
297   end
298 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
299   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
300   object (self)
301     inherit Glade.xml ?autoconnect xmldata
302     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
303       new GWindow.dialog (GtkWindow.Dialog.cast
304         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
305     method toplevel = toplevel
306     val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
307       new GWindow.dialog (GtkWindow.Dialog.cast
308         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
309     method uriChoiceDialog = uriChoiceDialog
310     val dialog_vbox3 =
311       new GPack.box (GtkPack.Box.cast
312         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
313     method dialog_vbox3 = dialog_vbox3
314     val uriChoiceAbortButton =
315       new GButton.button (GtkButton.Button.cast
316         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
317     method uriChoiceAbortButton = uriChoiceAbortButton
318     val uriChoiceSelectedButton =
319       new GButton.button (GtkButton.Button.cast
320         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
321     method uriChoiceSelectedButton = uriChoiceSelectedButton
322     val alignment2 =
323       new GBin.alignment (GtkBin.Alignment.cast
324         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
325     method alignment2 = alignment2
326     val hbox3 =
327       new GPack.box (GtkPack.Box.cast
328         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
329     method hbox3 = hbox3
330     val image19 =
331       new GMisc.image (GtkMisc.Image.cast
332         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
333     method image19 = image19
334     val label3 =
335       new GMisc.label (GtkMisc.Label.cast
336         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
337     method label3 = label3
338     val uriChoiceConstantsButton =
339       new GButton.button (GtkButton.Button.cast
340         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
341     method uriChoiceConstantsButton = uriChoiceConstantsButton
342     val uriChoiceAutoButton =
343       new GButton.button (GtkButton.Button.cast
344         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
345     method uriChoiceAutoButton = uriChoiceAutoButton
346     val alignment1 =
347       new GBin.alignment (GtkBin.Alignment.cast
348         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
349     method alignment1 = alignment1
350     val hbox1 =
351       new GPack.box (GtkPack.Box.cast
352         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
353     method hbox1 = hbox1
354     val image18 =
355       new GMisc.image (GtkMisc.Image.cast
356         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
357     method image18 = image18
358     val label1 =
359       new GMisc.label (GtkMisc.Label.cast
360         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
361     method label1 = label1
362     val vbox2 =
363       new GPack.box (GtkPack.Box.cast
364         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
365     method vbox2 = vbox2
366     val uriChoiceLabel =
367       new GMisc.label (GtkMisc.Label.cast
368         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
369     method uriChoiceLabel = uriChoiceLabel
370     val scrolledwindow1 =
371       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
372         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
373     method scrolledwindow1 = scrolledwindow1
374     val uriChoiceTreeView =
375       new GTree.view (GtkTree.TreeView.cast
376         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
377     method uriChoiceTreeView = uriChoiceTreeView
378     val hbox2 =
379       new GPack.box (GtkPack.Box.cast
380         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
381     method hbox2 = hbox2
382     val label2 =
383       new GMisc.label (GtkMisc.Label.cast
384         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
385     method label2 = label2
386     val entry1 =
387       new GEdit.entry (GtkEdit.Entry.cast
388         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
389     method entry1 = entry1
390     method reparent parent =
391       dialog_vbox3#misc#reparent parent;
392       toplevel#destroy ()
393     method check_widgets () = ()
394   end
395 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
396   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
397   object (self)
398     inherit Glade.xml ?autoconnect xmldata
399     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
400       new GWindow.dialog (GtkWindow.Dialog.cast
401         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
402     method toplevel = toplevel
403     val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
404       new GWindow.dialog (GtkWindow.Dialog.cast
405         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
406     method interpChoiceDialog = interpChoiceDialog
407     val dialog_vbox4 =
408       new GPack.box (GtkPack.Box.cast
409         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
410     method dialog_vbox4 = dialog_vbox4
411     val interpChoiceHelpButton =
412       new GButton.button (GtkButton.Button.cast
413         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
414     method interpChoiceHelpButton = interpChoiceHelpButton
415     val interpChoiceCancelButton =
416       new GButton.button (GtkButton.Button.cast
417         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
418     method interpChoiceCancelButton = interpChoiceCancelButton
419     val interpChoiceOkButton =
420       new GButton.button (GtkButton.Button.cast
421         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
422     method interpChoiceOkButton = interpChoiceOkButton
423     val vbox3 =
424       new GPack.box (GtkPack.Box.cast
425         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
426     method vbox3 = vbox3
427     val label6 =
428       new GMisc.label (GtkMisc.Label.cast
429         (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
430     method label6 = label6
431     method reparent parent =
432       dialog_vbox4#misc#reparent parent;
433       toplevel#destroy ()
434     method check_widgets () = ()
435   end
436
437 let check_all ?(show=false) () =
438   ignore (GMain.Main.init ());
439   let interpChoiceDialog = new interpChoiceDialog () in
440   if show then interpChoiceDialog#toplevel#show ();
441   interpChoiceDialog#check_widgets ();
442   let uriChoiceDialog = new uriChoiceDialog () in
443   if show then uriChoiceDialog#toplevel#show ();
444   uriChoiceDialog#check_widgets ();
445   let aboutWin = new aboutWin () in
446   if show then aboutWin#toplevel#show ();
447   aboutWin#check_widgets ();
448   let genericDialog = new genericDialog () in
449   if show then genericDialog#toplevel#show ();
450   genericDialog#check_widgets ();
451   let toolBarWin = new toolBarWin () in
452   if show then toolBarWin#toplevel#show ();
453   toolBarWin#check_widgets ();
454   let fileSelectionWin = new fileSelectionWin () in
455   if show then fileSelectionWin#toplevel#show ();
456   fileSelectionWin#check_widgets ();
457   let proofWin = new proofWin () in
458   if show then proofWin#toplevel#show ();
459   proofWin#check_widgets ();
460   let mainWin = new mainWin () in
461   if show then mainWin#toplevel#show ();
462   mainWin#check_widgets ();
463   if show then GMain.Main.main ()
464 ;;