helm/mathita/mathitaGui.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 exitMenuItem : GMenu.menu_item
  10     val fileMenu : GMenu.menu_item
  11     val fileMenu_menu : GMenu.menu
  12     val helpMenu : GMenu.menu_item
  13     val helpMenu_menu : GMenu.menu
  14     val mainMenuBar : GMenu.menu_shell
  15     val mainStatusBar : GMisc.statusbar
  16     val mainVPanes : GPack.paned
  17     val mainWin : GWindow.window
  18     val mainWinShape : GPack.box
  19     val proofStatus : GBin.scrolled_window
  20     val scrolledUserInput : GBin.scrolled_window
  21     val showProofMenuItem : GMenu.check_menu_item
  22     val showToolBarMenuItem : GMenu.check_menu_item
  23     val toplevel : GWindow.window
  24     val userInput : GText.view
  25     val viewMenu : GMenu.menu_item
  26     val viewMenu_menu : GMenu.menu
  27     val xml : Glade.glade_xml Gtk.obj
  28     method aboutMenuItem : GMenu.menu_item
  29     method bind : name:string -> callback:(unit -> unit) -> unit
  30     method check_widgets : unit -> unit
  31     method editMenu : GMenu.menu_item
  32     method exitMenuItem : GMenu.menu_item
  33     method fileMenu : GMenu.menu_item
  34     method fileMenu_menu : GMenu.menu
  35     method helpMenu : GMenu.menu_item
  36     method helpMenu_menu : GMenu.menu
  37     method mainMenuBar : GMenu.menu_shell
  38     method mainStatusBar : GMisc.statusbar
  39     method mainVPanes : GPack.paned
  40     method mainWin : GWindow.window
  41     method mainWinShape : GPack.box
  42     method proofStatus : GBin.scrolled_window
  43     method reparent : GObj.widget -> unit
  44     method scrolledUserInput : GBin.scrolled_window
  45     method showProofMenuItem : GMenu.check_menu_item
  46     method showToolBarMenuItem : GMenu.check_menu_item
  47     method toplevel : GWindow.window
  48     method userInput : GText.view
  49     method viewMenu : GMenu.menu_item
  50     method viewMenu_menu : GMenu.menu
  51     method xml : Glade.glade_xml Gtk.obj
  52   end
  53 class proofWin :
  54   ?file:string ->
  55   ?domain:string ->
  56   ?autoconnect:bool ->
  57   unit ->
  58   object
  59     val proofWin : GWindow.window
  60     val proofWinEventBox : GBin.event_box
  61     val scrolledProof : GBin.scrolled_window
  62     val toplevel : GWindow.window
  63     val viewport1 : GBin.viewport
  64     val xml : Glade.glade_xml Gtk.obj
  65     method bind : name:string -> callback:(unit -> unit) -> unit
  66     method check_widgets : unit -> unit
  67     method proofWin : GWindow.window
  68     method proofWinEventBox : GBin.event_box
  69     method reparent : GObj.widget -> unit
  70     method scrolledProof : GBin.scrolled_window
  71     method toplevel : GWindow.window
  72     method viewport1 : GBin.viewport
  73     method xml : Glade.glade_xml Gtk.obj
  74   end
  75 class fileSelectionWin :
  76   ?file:string ->
  77   ?domain:string ->
  78   ?autoconnect:bool ->
  79   unit ->
  80   object
  81     val cancel_button1 : GButton.button
  82     val fileSelectionWin : GWindow.file_selection
  83     val ok_button1 : GButton.button
  84     val toplevel : GWindow.file_selection
  85     val xml : Glade.glade_xml Gtk.obj
  86     method bind : name:string -> callback:(unit -> unit) -> unit
  87     method cancel_button1 : GButton.button
  88     method check_widgets : unit -> unit
  89     method fileSelectionWin : GWindow.file_selection
  90     method ok_button1 : GButton.button
  91     method toplevel : GWindow.file_selection
  92     method xml : Glade.glade_xml Gtk.obj
  93   end
  94 class toolBarWin :
  95   ?file:string ->
  96   ?domain:string ->
  97   ?autoconnect:bool ->
  98   unit ->
  99   object
 100     val button1 : GButton.button
 101     val button2 : GButton.button
 102     val button3 : GButton.button
 103     val button4 : GButton.button
 104     val toolBarEventBox : GBin.event_box
 105     val toolBarWin : GWindow.window
 106     val toplevel : GWindow.window
 107     val vbox1 : GPack.box
 108     val xml : Glade.glade_xml Gtk.obj
 109     method bind : name:string -> callback:(unit -> unit) -> unit
 110     method button1 : GButton.button
 111     method button2 : GButton.button
 112     method button3 : GButton.button
 113     method button4 : GButton.button
 114     method check_widgets : unit -> unit
 115     method reparent : GObj.widget -> unit
 116     method toolBarEventBox : GBin.event_box
 117     method toolBarWin : GWindow.window
 118     method toplevel : GWindow.window
 119     method vbox1 : GPack.box
 120     method xml : Glade.glade_xml Gtk.obj
 121   end
 122 class genericDialog :
 123   ?file:string ->
 124   ?domain:string ->
 125   ?autoconnect:bool ->
 126   unit ->
 127   object
 128     val cancelbutton1 : GButton.button
 129     val dialog_vbox1 : GPack.box
 130     val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 131     val okbutton1 : GButton.button
 132     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 133     val xml : Glade.glade_xml Gtk.obj
 134     method bind : name:string -> callback:(unit -> unit) -> unit
 135     method cancelbutton1 : GButton.button
 136     method check_widgets : unit -> unit
 137     method dialog_vbox1 : GPack.box
 138     method genericDialog :
 139       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 140     method okbutton1 : GButton.button
 141     method reparent : GObj.widget -> unit
 142     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 143     method xml : Glade.glade_xml Gtk.obj
 144   end
 145 class aboutWin :
 146   ?file:string ->
 147   ?domain:string ->
 148   ?autoconnect:bool ->
 149   unit ->
 150   object
 151     val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 152     val dialog_vbox2 : GPack.box
 153     val okbutton2 : GButton.button
 154     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 155     val xml : Glade.glade_xml Gtk.obj
 156     method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 157     method bind : name:string -> callback:(unit -> unit) -> unit
 158     method check_widgets : unit -> unit
 159     method dialog_vbox2 : GPack.box
 160     method okbutton2 : GButton.button
 161     method reparent : GObj.widget -> unit
 162     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 163     method xml : Glade.glade_xml Gtk.obj
 164   end
 165 val check_all : ?show:bool -> unit -> unit