X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2FmathitaGui.mli;h=4dcc0a5d7f36064b94241eeaea63ec9c4e760073;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=2f8416c3b7b8c414be1bf9582402c422a3edc879;hpb=012882cec674d741f69fce307a6822a584fd6a45;p=helm.git diff --git a/helm/mathita/mathitaGui.mli b/helm/mathita/mathitaGui.mli index 2f8416c3b..4dcc0a5d7 100644 --- a/helm/mathita/mathitaGui.mli +++ b/helm/mathita/mathitaGui.mli @@ -1,165 +1,55 @@ -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 +