X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=b82cb394737dd2ea96d7e94a253f02e32713a005;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=80c183fac4e78e0032768c43a143b1b30b34f9b3;hpb=522bfe4fd22804ff7fb0013697721504003a6606;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index 80c183fac..b82cb3947 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -23,70 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
-class type console =
-object
-  method message: string -> unit
-  method error: string -> unit
-  method warning: string -> unit
-  method debug: string -> unit
-  method clear: unit -> unit
-
-  method log_callback: MatitaLog.log_callback
-end
-
-class type browserWin =
-object
-  inherit MatitaGeneratedGui.browserWin
-  method browserUri: GEdit.combo_box_entry
-end
-
-  (** @param fname name of the Glade file describing the GUI *)
-class type gui =
-object
-
-  method setQuitCallback    : (unit -> unit) -> unit
-
-    (** {2 Access to singleton instances of lower-level GTK widgets} *)
-
-  method about :        MatitaGeneratedGui.aboutWin
-  method fileSel :      MatitaGeneratedGui.fileSelectionWin
-  method main :         MatitaGeneratedGui.mainWin
-(*   method toolbar :      MatitaGeneratedGui.toolBarWin *)
-
-  method console:       console
-  method sourceView:    GSourceView.source_view
-
-    (** {2 Dialogs instantiation}
-     * methods below create a new window on each invocation. You should
-     * remember to destroy windows after use *)
-
-  method newBrowserWin:         unit -> browserWin
-  method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
-  method newInterpDialog:       unit -> MatitaGeneratedGui.interpChoiceDialog
-  method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
-  method newEmptyDialog:        unit -> MatitaGeneratedGui.emptyDialog
-
-    (** {2 Utility methods} *)
-
-    (** ask the used to choose a file with the file chooser
-    * @param ok_not_exists if set to true returns also non existent files
-    * (useful for save). Defaults to false *)
-  method chooseFile: ?ok_not_exists:bool -> unit -> string option
-
-    (** prompt the user for a (multiline) text entry *)
-  method askText: ?title:string -> ?msg:string -> unit -> string option
-
-  method loadScript: string -> unit
-
-    (** {3 Fonts} *)
-  method increaseFontSize: unit -> unit
-  method decreaseFontSize: unit -> unit
-  method resetFontSize: unit -> unit
-                                                            
-end
-
   (** singleton instance of the gui *)
-val instance: unit -> gui
+val instance: unit -> MatitaGuiTypes.gui
 
   (** {2 Disambiguation callbacks}
   * Use singleton gui instance. *)