helm/matita/matitaGeneratedGui.mli

   1 (* Automatically generated from matitaGeneratedGui.ml by make *)
   2
   3 class mainWin :
   4   ?file:string ->
   5   ?domain:string ->
   6   ?autoconnect:bool ->
   7   unit ->
   8   object
   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
  84   end
  85 class proofWin :
  86   ?file:string ->
  87   ?domain:string ->
  88   ?autoconnect:bool ->
  89   unit ->
  90   object
  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
 106   end
 107 class fileSelectionWin :
 108   ?file:string ->
 109   ?domain:string ->
 110   ?autoconnect:bool ->
 111   unit ->
 112   object
 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
 125   end
 126 class toolBarWin :
 127   ?file:string ->
 128   ?domain:string ->
 129   ?autoconnect:bool ->
 130   unit ->
 131   object
 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
 153   end
 154 class confirmationDialog :
 155   ?file:string ->
 156   ?domain:string ->
 157   ?autoconnect:bool ->
 158   unit ->
 159   object
 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
 179   end
 180 class aboutWin :
 181   ?file:string ->
 182   ?domain:string ->
 183   ?autoconnect:bool ->
 184   unit ->
 185   object
 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
 199   end
 200 class uriChoiceDialog :
 201   ?file:string ->
 202   ?domain:string ->
 203   ?autoconnect:bool ->
 204   unit ->
 205   object
 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
 257   end
 258 class interpChoiceDialog :
 259   ?file:string ->
 260   ?domain:string ->
 261   ?autoconnect:bool ->
 262   unit ->
 263   object
 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
 287   end
 288 val check_all : ?show:bool -> unit -> unit