Source language path must be appended, not replaced.

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 9459c86ca5e5664c023aaa5107fac41e413aae36..deef158a335d517c3c59a0ef400d40071c673f3c 100644 (file)
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -889,7 +889,9 @@ class gui () =
       let _ =
         let source_language_manager =
          GSourceView2.source_language_manager ~default:true in
-        source_language_manager#set_search_path[BuildTimeConf.runtime_base_dir];
+        source_language_manager#set_search_path
+         (BuildTimeConf.runtime_base_dir ::
+           source_language_manager#search_path);
         match source_language_manager#language "grafite" with
         | None ->
             HLog.warn(sprintf "can't load a language file for \"grafite\" in %s"