method private script = MatitaScript.instance ()
end
+let cicBrowsers = ref []
+
+let default_font_size () =
+ Helm_registry.get_opt_default Helm_registry.int
+ ~default:BuildTimeConf.default_font_size "matita.font_size"
+let current_font_size = ref ~-1
+let increase_font_size () = incr current_font_size
+let decrease_font_size () = decr current_font_size
+let reset_font_size () = current_font_size := default_font_size ()
+
class clickableMathView obj =
let href = Gdome.domString "href" in
let xref = Gdome.domString "xref" in
method set_href_callback f = href_callback <- f
initializer
+ current_font_size := default_font_size ();
+ self#set_font_size !current_font_size;
ignore (self#connect#selection_changed self#choose_selection);
ignore (self#connect#click (fun (gdome_elt, _, _, _) ->
match gdome_elt with
match gdome_elt with
| Some elt -> aux elt
| None -> self#set_selection None
+
+ method update_font_size =
+ self#set_font_size !current_font_size
+
end
let clickableMathView ?hadjustment ?vadjustment ?font_size ?log_verbosity =
inherit clickableMathView obj
val mutable current_infos = None
-
+
method get_selected_terms =
let selections = self#get_selections in
list_map_fail
exception Browser_failure of string
-let cicBrowsers = ref []
-
class type cicBrowser =
object
method load: MatitaTypes.mathViewer_entry -> unit
self#_historyAdd entry
end
+ (** {2 methods accessing underlying GtkMathView} *)
+
+ method updateFontSize = mathView#set_font_size !current_font_size
+
(** {2 methods used by constructor only} *)
method win = win
let history = new MatitaMisc.browser_history size (`About `Blank) in
aux history
-let refresh_all_browsers () = List.iter (fun b -> b#refresh ()) !cicBrowsers
-
let default_sequentViewer () = sequentViewer ~show:true ()
let sequentViewer_instance = MatitaMisc.singleton default_sequentViewer
method show_uri_list ?(reuse=false) ~entry l =
(self#get_browser reuse)#load entry
end
+
+let refresh_all_browsers () = List.iter (fun b -> b#refresh ()) !cicBrowsers
+
+let update_font_sizes () =
+ List.iter (fun b -> b#updateFontSize) !cicBrowsers;
+ (sequentViewer_instance ())#update_font_size
+