X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=550d86c6044f50f33563af793cc11c0d76322fcb;hb=619a3a478a4f6b0a50782b620009f6a141c30a53;hp=cb2cbeb0c00ef46775cb549b4d54b8d62d7d538c;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index cb2cbeb0c..550d86c60 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -34,6 +34,12 @@ object
   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
@@ -45,15 +51,19 @@ object
   method about :        MatitaGeneratedGui.aboutWin
   method fileSel :      MatitaGeneratedGui.fileSelectionWin
   method main :         MatitaGeneratedGui.mainWin
+  method findRepl :     MatitaGeneratedGui.findReplWin
+  method develList:     MatitaGeneratedGui.develListWin
+  method newDevel:      MatitaGeneratedGui.newDevelopmentWin
 (*   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 -> MatitaGeneratedGui.browserWin
+  method newBrowserWin:         unit -> browserWin
   method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
   method newInterpDialog:       unit -> MatitaGeneratedGui.interpChoiceDialog
   method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
@@ -65,11 +75,18 @@ object
     * @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
+  method createDevelopment: containing:string option -> unit
 
     (** prompt the user for a (multiline) text entry *)
   method askText: ?title:string -> ?msg:string -> unit -> string option
 
   method loadScript: string -> unit
+  method setStar: string -> bool -> unit
+
+    (** {3 Fonts} *)
+  method increaseFontSize: unit -> unit
+  method decreaseFontSize: unit -> unit
+  method resetFontSize: unit -> unit
                                                             
 end
 
@@ -88,6 +105,7 @@ val interactive_uri_choice:
   ?selection_mode:([`SINGLE|`MULTIPLE]) -> ?title:string ->
   ?msg:string -> ?nonvars_button:bool -> 
   ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
+  ?ok_action:[`AUTO|`SELECT] ->
   ?copy_cb:(string -> unit) -> unit ->
     MatitaDisambiguator.choose_uris_callback