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