let toggle_callback ~callback ~(check: GMenu.check_menu_item) =
ignore (check#connect#toggled (fun _ -> callback check#active))
-let add_key_binding key callback (evbox: GBin.event_box) =
- ignore (evbox#event#connect#key_press (function
- | key' when GdkEvent.Key.keyval key' = key ->
- callback ();
- false
- | _ -> false))
-
class multiStringListModel ~cols (tree_view: GTree.view) =
let column_list = new GTree.column_list in
let text_columns =
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
+;;