aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
diff options
context:
space:
mode:
authorGravatar ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>2012-05-08 08:41:16 +0000
committerGravatar ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>2012-05-08 08:41:16 +0000
commit945d7db9fc742b3144754bcf227a669b37bbcb47 (patch)
treeb3d83d25e4b09e15ab3b681a175eecfa8d17b4b3 /ide/preferences.ml
parent349c6ecc1d2a63bc7b45fda3093890a3565a80d1 (diff)
Rewritten the autocompletion mechanism of CoqIDE, and stuffed it
into the ScriptView widget. The autocompletion algorithm may be a bit too greedy, so there are tests to do on huge buffers to check whether it is too slow and therefore we should fine-tune it. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15282 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/preferences.ml')
-rw-r--r--ide/preferences.ml9
1 files changed, 3 insertions, 6 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml
index 24e93d0cd..6e18b4d34 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -74,12 +74,9 @@ let inputenc_of_string s =
(** Hooks *)
-let refresh_font_hook = ref (fun () -> ())
let refresh_style_hook = ref (fun () -> ())
let refresh_editor_hook = ref (fun () -> ())
-let refresh_background_color_hook = ref (fun () -> ())
let refresh_toolbar_hook = ref (fun () -> ())
-let auto_complete_hook = ref (fun x -> ())
let contextual_menus_on_goal_hook = ref (fun x -> ())
let resize_window_hook = ref (fun () -> ())
let refresh_tabs_hook = ref (fun () -> ())
@@ -410,7 +407,7 @@ let configure ?(apply=(fun () -> ())) () =
(*
Format.printf "in config_font: current.text_font = %s@." (Pango.Font.to_string current.text_font);
*)
- !refresh_font_hook ())
+ !refresh_editor_hook ())
true
in
@@ -464,7 +461,7 @@ let configure ?(apply=(fun () -> ())) () =
current.background_color <- Tags.string_of_color background_button#color;
current.processing_color <- Tags.string_of_color processing_button#color;
current.processed_color <- Tags.string_of_color processed_button#color;
- !refresh_background_color_hook ();
+ !refresh_editor_hook ();
Tags.set_processing_color processing_button#color;
Tags.set_processed_color processed_button#color
in
@@ -548,7 +545,7 @@ let configure ?(apply=(fun () -> ())) () =
bool
~f:(fun s ->
current.auto_complete <- s;
- !auto_complete_hook s)
+ !refresh_editor_hook ())
"Auto Complete" current.auto_complete
in