diff options
author | 2012-05-08 08:41:16 +0000 | |
---|---|---|
committer | 2012-05-08 08:41:16 +0000 | |
commit | 945d7db9fc742b3144754bcf227a669b37bbcb47 (patch) | |
tree | b3d83d25e4b09e15ab3b681a175eecfa8d17b4b3 /ide/preferences.ml | |
parent | 349c6ecc1d2a63bc7b45fda3093890a3565a80d1 (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.ml | 9 |
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 |