Font resizing and syntax highlighting re-activated for the browser and

[helm.git] / matita / matita / matitaGtkMisc.ml

diff --git a/matita/matita/matitaGtkMisc.ml b/matita/matita/matitaGtkMisc.ml
index 772f17a41643f14250daf5f4c7f60e57d8a99066..23b427c5a1c0637477daebcfffff7459fc946e17 100644 (file)
--- a/matita/matita/matitaGtkMisc.ml
+++ b/matita/matita/matitaGtkMisc.ml
@@ -420,4 +420,16 @@ let escape_pango_markup text =
    text
 ;;
 
-    
+let matita_lang =
+ let source_language_manager =
+  GSourceView2.source_language_manager ~default:true in
+ source_language_manager#set_search_path
+  (BuildTimeConf.runtime_base_dir ::
+    source_language_manager#search_path);
+ match source_language_manager#language "grafite" with
+ | None ->
+     HLog.error(sprintf "can't load a language file for \"grafite\" in %s"
+      BuildTimeConf.runtime_base_dir);
+     assert false
+ | Some x -> x
+;;