helm/mathita/mathitaGeneratedGui.mli

   1 class mainWin :
   2   ?file:string ->
   3   ?domain:string ->
   4   ?autoconnect:bool ->
   5   unit ->
   6   object
   7     val aboutMenuItem : GMenu.menu_item
   8     val debugMenu : GMenu.menu_item
   9     val debugMenuItem0 : GMenu.menu_item
  10     val debugMenuItem1 : GMenu.menu_item
  11     val debugMenuItem2 : GMenu.menu_item
  12     val debugMenu_menu : GMenu.menu
  13     val editMenu : GMenu.menu_item
  14     val fileMenu : GMenu.menu_item
  15     val fileMenu_menu : GMenu.menu
  16     val helpMenu : GMenu.menu_item
  17     val helpMenu_menu : GMenu.menu
  18     val image40 : GMisc.image
  19     val image41 : GMisc.image
  20     val image42 : GMisc.image
  21     val image43 : GMisc.image
  22     val image44 : GMisc.image
  23     val mainMenuBar : GMenu.menu_shell
  24     val mainStatusBar : GMisc.statusbar
  25     val mainVPanes : GPack.paned
  26     val mainWin : GWindow.window
  27     val mainWinShape : GPack.box
  28     val newDefsMenuItem : GMenu.menu_item
  29     val newMenu : GMenu.image_menu_item
  30     val newMenu_menu : GMenu.menu
  31     val newProofMenuItem : GMenu.menu_item
  32     val openMenuItem : GMenu.image_menu_item
  33     val proofStatus : GBin.scrolled_window
  34     val quitMenuItem : GMenu.image_menu_item
  35     val saveAsMenuItem : GMenu.image_menu_item
  36     val saveMenuItem : GMenu.image_menu_item
  37     val scrolledUserInput : GBin.scrolled_window
  38     val separator1 : 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 debugMenuItem0 : GMenu.menu_item
  50     method debugMenuItem1 : GMenu.menu_item
  51     method debugMenuItem2 : GMenu.menu_item
  52     method debugMenu_menu : GMenu.menu
  53     method editMenu : GMenu.menu_item
  54     method fileMenu : GMenu.menu_item
  55     method fileMenu_menu : GMenu.menu
  56     method helpMenu : GMenu.menu_item
  57     method helpMenu_menu : GMenu.menu
  58     method image40 : GMisc.image
  59     method image41 : GMisc.image
  60     method image42 : GMisc.image
  61     method image43 : GMisc.image
  62     method image44 : GMisc.image
  63     method mainMenuBar : GMenu.menu_shell
  64     method mainStatusBar : GMisc.statusbar
  65     method mainVPanes : GPack.paned
  66     method mainWin : GWindow.window
  67     method mainWinShape : GPack.box
  68     method newDefsMenuItem : GMenu.menu_item
  69     method newMenu : GMenu.image_menu_item
  70     method newMenu_menu : GMenu.menu
  71     method newProofMenuItem : GMenu.menu_item
  72     method openMenuItem : GMenu.image_menu_item
  73     method proofStatus : GBin.scrolled_window
  74     method quitMenuItem : GMenu.image_menu_item
  75     method reparent : GObj.widget -> unit
  76     method saveAsMenuItem : GMenu.image_menu_item
  77     method saveMenuItem : GMenu.image_menu_item
  78     method scrolledUserInput : GBin.scrolled_window
  79     method separator1 : GMenu.menu_item
  80     method showProofMenuItem : GMenu.check_menu_item
  81     method showToolBarMenuItem : GMenu.check_menu_item
  82     method toplevel : GWindow.window
  83     method viewMenu : GMenu.menu_item
  84     method viewMenu_menu : GMenu.menu
  85     method xml : Glade.glade_xml Gtk.obj
  86   end
  87 class proofWin :
  88   ?file:string ->
  89   ?domain:string ->
  90   ?autoconnect:bool ->
  91   unit ->
  92   object
  93     val proofWin : GWindow.window
  94     val proofWinEventBox : GBin.event_box
  95     val scrolledProof : GBin.scrolled_window
  96     val toplevel : GWindow.window
  97     val viewport1 : GBin.viewport
  98     val xml : Glade.glade_xml Gtk.obj
  99     method bind : name:string -> callback:(unit -> unit) -> unit
 100     method check_widgets : unit -> unit
 101     method proofWin : GWindow.window
 102     method proofWinEventBox : GBin.event_box
 103     method reparent : GObj.widget -> unit
 104     method scrolledProof : GBin.scrolled_window
 105     method toplevel : GWindow.window
 106     method viewport1 : GBin.viewport
 107     method xml : Glade.glade_xml Gtk.obj
 108   end
 109 class fileSelectionWin :
 110   ?file:string ->
 111   ?domain:string ->
 112   ?autoconnect:bool ->
 113   unit ->
 114   object
 115     val cancel_button1 : GButton.button
 116     val fileSelectionWin : GWindow.file_selection
 117     val ok_button1 : GButton.button
 118     val toplevel : GWindow.file_selection
 119     val xml : Glade.glade_xml Gtk.obj
 120     method bind : name:string -> callback:(unit -> unit) -> unit
 121     method cancel_button1 : GButton.button
 122     method check_widgets : unit -> unit
 123     method fileSelectionWin : GWindow.file_selection
 124     method ok_button1 : GButton.button
 125     method toplevel : GWindow.file_selection
 126     method xml : Glade.glade_xml Gtk.obj
 127   end
 128 class toolBarWin :
 129   ?file:string ->
 130   ?domain:string ->
 131   ?autoconnect:bool ->
 132   unit ->
 133   object
 134     val button1 : GButton.button
 135     val button2 : GButton.button
 136     val button3 : GButton.button
 137     val button4 : GButton.button
 138     val toolBarEventBox : GBin.event_box
 139     val toolBarWin : GWindow.window
 140     val toplevel : GWindow.window
 141     val vbox1 : GPack.box
 142     val xml : Glade.glade_xml Gtk.obj
 143     method bind : name:string -> callback:(unit -> unit) -> unit
 144     method button1 : GButton.button
 145     method button2 : GButton.button
 146     method button3 : GButton.button
 147     method button4 : GButton.button
 148     method check_widgets : unit -> unit
 149     method reparent : GObj.widget -> unit
 150     method toolBarEventBox : GBin.event_box
 151     method toolBarWin : GWindow.window
 152     method toplevel : GWindow.window
 153     method vbox1 : GPack.box
 154     method xml : Glade.glade_xml Gtk.obj
 155   end
 156 class genericDialog :
 157   ?file:string ->
 158   ?domain:string ->
 159   ?autoconnect:bool ->
 160   unit ->
 161   object
 162     val cancelbutton1 : GButton.button
 163     val dialog_vbox1 : GPack.box
 164     val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 165     val okbutton1 : GButton.button
 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 cancelbutton1 : GButton.button
 170     method check_widgets : unit -> unit
 171     method dialog_vbox1 : GPack.box
 172     method genericDialog :
 173       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 174     method okbutton1 : GButton.button
 175     method reparent : GObj.widget -> unit
 176     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 177     method xml : Glade.glade_xml Gtk.obj
 178   end
 179 class aboutWin :
 180   ?file:string ->
 181   ?domain:string ->
 182   ?autoconnect:bool ->
 183   unit ->
 184   object
 185     val aboutDismissButton : GButton.button
 186     val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 187     val dialog_vbox2 : GPack.box
 188     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 189     val xml : Glade.glade_xml Gtk.obj
 190     method aboutDismissButton : GButton.button
 191     method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 192     method bind : name:string -> callback:(unit -> unit) -> unit
 193     method check_widgets : unit -> unit
 194     method dialog_vbox2 : GPack.box
 195     method reparent : GObj.widget -> unit
 196     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 197     method xml : Glade.glade_xml Gtk.obj
 198   end
 199 class uriChoiceDialog :
 200   ?file:string ->
 201   ?domain:string ->
 202   ?autoconnect:bool ->
 203   unit ->
 204   object
 205     val alignment1 : GBin.alignment
 206     val alignment2 : GBin.alignment
 207     val dialog_vbox3 : GPack.box
 208     val entry1 : GEdit.entry
 209     val hbox1 : GPack.box
 210     val hbox2 : GPack.box
 211     val hbox3 : GPack.box
 212     val image18 : GMisc.image
 213     val image19 : GMisc.image
 214     val label1 : GMisc.label
 215     val label2 : GMisc.label
 216     val label3 : GMisc.label
 217     val scrolledwindow1 : GBin.scrolled_window
 218     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 219     val uriChoiceAbortButton : GButton.button
 220     val uriChoiceAutoButton : GButton.button
 221     val uriChoiceConstantsButton : GButton.button
 222     val uriChoiceDialog :
 223       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 224     val uriChoiceLabel : GMisc.label
 225     val uriChoiceSelectedButton : GButton.button
 226     val uriChoiceTreeView : GTree.view
 227     val vbox2 : GPack.box
 228     val xml : Glade.glade_xml Gtk.obj
 229     method alignment1 : GBin.alignment
 230     method alignment2 : GBin.alignment
 231     method bind : name:string -> callback:(unit -> unit) -> unit
 232     method check_widgets : unit -> unit
 233     method dialog_vbox3 : GPack.box
 234     method entry1 : GEdit.entry
 235     method hbox1 : GPack.box
 236     method hbox2 : GPack.box
 237     method hbox3 : GPack.box
 238     method image18 : GMisc.image
 239     method image19 : GMisc.image
 240     method label1 : GMisc.label
 241     method label2 : GMisc.label
 242     method label3 : GMisc.label
 243     method reparent : GObj.widget -> unit
 244     method scrolledwindow1 : GBin.scrolled_window
 245     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 246     method uriChoiceAbortButton : GButton.button
 247     method uriChoiceAutoButton : GButton.button
 248     method uriChoiceConstantsButton : GButton.button
 249     method uriChoiceDialog :
 250       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 251     method uriChoiceLabel : GMisc.label
 252     method uriChoiceSelectedButton : GButton.button
 253     method uriChoiceTreeView : GTree.view
 254     method vbox2 : GPack.box
 255     method xml : Glade.glade_xml Gtk.obj
 256   end
 257 class interpChoiceDialog :
 258   ?file:string ->
 259   ?domain:string ->
 260   ?autoconnect:bool ->
 261   unit ->
 262   object
 263     val dialog_vbox4 : GPack.box
 264     val interpChoiceCancelButton : GButton.button
 265     val interpChoiceDialog :
 266       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 267     val interpChoiceHelpButton : GButton.button
 268     val interpChoiceOkButton : GButton.button
 269     val label6 : GMisc.label
 270     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 271     val vbox3 : GPack.box
 272     val xml : Glade.glade_xml Gtk.obj
 273     method bind : name:string -> callback:(unit -> unit) -> unit
 274     method check_widgets : unit -> unit
 275     method dialog_vbox4 : GPack.box
 276     method interpChoiceCancelButton : GButton.button
 277     method interpChoiceDialog :
 278       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 279     method interpChoiceHelpButton : GButton.button
 280     method interpChoiceOkButton : GButton.button
 281     method label6 : GMisc.label
 282     method reparent : GObj.widget -> unit
 283     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 284     method vbox3 : GPack.box
 285     method xml : Glade.glade_xml Gtk.obj
 286   end
 287 class debug :
 288   ?file:string ->
 289   ?domain:string ->
 290   ?autoconnect:bool ->
 291   unit ->
 292   object
 293     val cancelbutton2 : GButton.button
 294     val debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 295     val dialog_vbox5 : GPack.box
 296     val okbutton2 : GButton.button
 297     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 298     val xml : Glade.glade_xml Gtk.obj
 299     method bind : name:string -> callback:(unit -> unit) -> unit
 300     method cancelbutton2 : GButton.button
 301     method check_widgets : unit -> unit
 302     method debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 303     method dialog_vbox5 : GPack.box
 304     method okbutton2 : GButton.button
 305     method reparent : GObj.widget -> unit
 306     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 307     method xml : Glade.glade_xml Gtk.obj
 308   end
 309 val check_all : ?show:bool -> unit -> unit