-class mainWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
+(* Copyright (C) 2004, HELM Team.
+ *
+ * This file is part of HELM, an Hypertextual, Electronic
+ * Library of Mathematics, developed at the Computer Science
+ * Department, University of Bologna, Italy.
+ *
+ * HELM is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * HELM is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with HELM; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+ * MA 02111-1307, USA.
+ *
+ * For details, see the HELM World-Wide-Web page,
+ * http://helm.cs.unibo.it/
+ *)
+
+(*
+class type stringListModel =
object
- val aboutMenuItem : GMenu.menu_item
- val editMenu : GMenu.menu_item
- val exitMenuItem : GMenu.menu_item
- val fileMenu : GMenu.menu_item
- val fileMenu_menu : GMenu.menu
- val helpMenu : GMenu.menu_item
- val helpMenu_menu : GMenu.menu
- val mainMenuBar : GMenu.menu_shell
- val mainStatusBar : GMisc.statusbar
- val mainVPanes : GPack.paned
- val mainWin : GWindow.window
- val mainWinShape : GPack.box
- val proofStatus : GBin.scrolled_window
- val scrolledUserInput : GBin.scrolled_window
- val showProofMenuItem : GMenu.check_menu_item
- val showToolBarMenuItem : GMenu.check_menu_item
- val toplevel : GWindow.window
- val userInput : GText.view
- val viewMenu : GMenu.menu_item
- val viewMenu_menu : GMenu.menu
- val xml : Glade.glade_xml Gtk.obj
- method aboutMenuItem : GMenu.menu_item
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method editMenu : GMenu.menu_item
- method exitMenuItem : GMenu.menu_item
- method fileMenu : GMenu.menu_item
- method fileMenu_menu : GMenu.menu
- method helpMenu : GMenu.menu_item
- method helpMenu_menu : GMenu.menu
- method mainMenuBar : GMenu.menu_shell
- method mainStatusBar : GMisc.statusbar
- method mainVPanes : GPack.paned
- method mainWin : GWindow.window
- method mainWinShape : GPack.box
- method proofStatus : GBin.scrolled_window
- method reparent : GObj.widget -> unit
- method scrolledUserInput : GBin.scrolled_window
- method showProofMenuItem : GMenu.check_menu_item
- method showToolBarMenuItem : GMenu.check_menu_item
- method toplevel : GWindow.window
- method userInput : GText.view
- method viewMenu : GMenu.menu_item
- method viewMenu_menu : GMenu.menu
- method xml : Glade.glade_xml Gtk.obj
+ method clear: unit -> unit
+ method append: string -> unit
end
-class proofWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
+*)
+
+ (** @param fname name of the Glade file describing the GUI *)
+class gui :
+ string ->
object
- val proofWin : GWindow.window
- val proofWinEventBox : GBin.event_box
- val scrolledProof : GBin.scrolled_window
- val toplevel : GWindow.window
- val viewport1 : GBin.viewport
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method proofWin : GWindow.window
- method proofWinEventBox : GBin.event_box
- method reparent : GObj.widget -> unit
- method scrolledProof : GBin.scrolled_window
- method toplevel : GWindow.window
- method viewport1 : GBin.viewport
- method xml : Glade.glade_xml Gtk.obj
+
+ method setQuitCallback : (unit -> unit) -> unit
+
+ method uriChoices: MathitaGtkMisc.stringListModel
+
+ (** {2 Access to low-level GTK widgets} *)
+
+ method about : MathitaGeneratedGui.aboutWin
+ method dialog : MathitaGeneratedGui.genericDialog
+ method fileSel : MathitaGeneratedGui.fileSelectionWin
+ method interpChoice : MathitaGeneratedGui.interpChoiceDialog
+ method main : MathitaGeneratedGui.mainWin
+ method proof : MathitaGeneratedGui.proofWin
+ method toolbar : MathitaGeneratedGui.toolBarWin
+ method uriChoice : MathitaGeneratedGui.uriChoiceDialog
+
end
-class fileSelectionWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val cancel_button1 : GButton.button
- val fileSelectionWin : GWindow.file_selection
- val ok_button1 : GButton.button
- val toplevel : GWindow.file_selection
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method cancel_button1 : GButton.button
- method check_widgets : unit -> unit
- method fileSelectionWin : GWindow.file_selection
- method ok_button1 : GButton.button
- method toplevel : GWindow.file_selection
- method xml : Glade.glade_xml Gtk.obj
- end
-class toolBarWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val button1 : GButton.button
- val button2 : GButton.button
- val button3 : GButton.button
- val button4 : GButton.button
- val toolBarEventBox : GBin.event_box
- val toolBarWin : GWindow.window
- val toplevel : GWindow.window
- val vbox1 : GPack.box
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method button1 : GButton.button
- method button2 : GButton.button
- method button3 : GButton.button
- method button4 : GButton.button
- method check_widgets : unit -> unit
- method reparent : GObj.widget -> unit
- method toolBarEventBox : GBin.event_box
- method toolBarWin : GWindow.window
- method toplevel : GWindow.window
- method vbox1 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-class genericDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val cancelbutton1 : GButton.button
- val dialog_vbox1 : GPack.box
- val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val okbutton1 : GButton.button
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method cancelbutton1 : GButton.button
- method check_widgets : unit -> unit
- method dialog_vbox1 : GPack.box
- method genericDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method okbutton1 : GButton.button
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method xml : Glade.glade_xml Gtk.obj
- end
-class aboutWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val dialog_vbox2 : GPack.box
- val okbutton2 : GButton.button
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val xml : Glade.glade_xml Gtk.obj
- method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_vbox2 : GPack.box
- method okbutton2 : GButton.button
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method xml : Glade.glade_xml Gtk.obj
- end
-val check_all : ?show:bool -> unit -> unit
+