- added configuration key for user defined font and built time default
matitaDisambiguator.cmo \
matitaEngine.cmo
matitaDisambiguator.cmo \
matitaEngine.cmo
-LIB_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(REQUIRES))
all: matita matitac cicbrowser
ifeq ($(HAVE_OCAMLOPT),yes)
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
all: matita matitac cicbrowser
ifeq ($(HAVE_OCAMLOPT),yes)
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
-LIBX_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(REQUIRES))
+LIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(REQUIRES))
+LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(REQUIRES))
opt: matita.opt matitac.opt cicbrowser.opt
else
opt:
opt: matita.opt matitac.opt cicbrowser.opt
else
opt:
let phrase_sep = ".";;
let blank_uri = "about:blank";;
let current_proof_uri = "about:current_proof";;
let phrase_sep = ".";;
let blank_uri = "about:blank";;
let current_proof_uri = "about:current_proof";;
+let default_script_font = "Monospace 10";;
<key name="baseuri">cic:/matita/</key>
<key name="basedir">.matita/xml</key>
<key name="owner">gares</key>
<key name="baseuri">cic:/matita/</key>
<key name="basedir">.matita/xml</key>
<key name="owner">gares</key>
+<!-- <key name="script_font">Monospace 10</key> -->
</section>
<section name="db">
<!-- <key name="host">localhost</key> -->
</section>
<section name="db">
<!-- <key name="host">localhost</key> -->
buf#insert ~iter:(buf#get_iter_at_mark `INSERT) "\n";
advance ());
(* script monospace font stuff *)
buf#insert ~iter:(buf#get_iter_at_mark `INSERT) "\n";
advance ());
(* script monospace font stuff *)
- let font = Pango.Font.from_string "Monospace 10" in
- let monospace_tag =
- self#main#scriptTextView#buffer#create_tag [`FONT_DESC font]
+ let font =
+ Helm_registry.get_opt_default Helm_registry.get
+ BuildTimeConf.default_script_font "matita.script_font"
+(* let monospace_tag =
+ self#main#scriptTextView#buffer#create_tag [`FONT_DESC font]
+ in *)
+ self#main#scriptTextView#misc#modify_font_by_name font;
+(* let _ =
self#main#scriptTextView#buffer#connect#changed ~callback:(fun _ ->
let start, stop = self#main#scriptTextView#buffer#bounds in
self#main#scriptTextView#buffer#apply_tag monospace_tag start stop)
self#main#scriptTextView#buffer#connect#changed ~callback:(fun _ ->
let start, stop = self#main#scriptTextView#buffer#bounds in
self#main#scriptTextView#buffer#apply_tag monospace_tag start stop)
(* debug menu *)
self#main#debugMenu#misc#hide ();
(* status bar *)
(* debug menu *)
self#main#debugMenu#misc#hide ();
(* status bar *)
self#main#hintMediumImage#set_file "icons/matita-bulb-medium.png";
self#main#hintHighImage#set_file "icons/matita-bulb-high.png";
(* focus *)
self#main#hintMediumImage#set_file "icons/matita-bulb-medium.png";
self#main#hintHighImage#set_file "icons/matita-bulb-high.png";
(* focus *)
- self#main#scriptTextView#misc#grab_focus ();
+ self#main#scriptTextView#misc#grab_focus ();
(* main win dimension *)
let width = Gdk.Screen.width () in
let height = Gdk.Screen.height () in
(* main win dimension *)
let width = Gdk.Screen.width () in
let height = Gdk.Screen.height () in