From ab99b2f3e62bdb67c2ebb001cf5bd0dcce8be73d Mon Sep 17 00:00:00 2001 From: ppedrot Date: Wed, 18 Apr 2012 15:49:31 +0000 Subject: Cleaning up preferences and hooks in CoqIDE git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15215 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/preferences.mli | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'ide/preferences.mli') diff --git a/ide/preferences.mli b/ide/preferences.mli index d862979fe..b680c6f02 100644 --- a/ide/preferences.mli +++ b/ide/preferences.mli @@ -57,7 +57,6 @@ type pref = *) mutable auto_complete : bool; mutable stop_before : bool; - mutable lax_syntax : bool; mutable vertical_tabs : bool; mutable opposite_tabs : bool; @@ -73,10 +72,11 @@ val current : pref ref val configure : ?apply:(unit -> unit) -> unit -> unit -val change_font : (Pango.font_description -> unit) ref -val change_background_color : (Gdk.color -> unit) ref -val show_toolbar : (bool -> unit) ref -val auto_complete : (bool -> unit) ref -val resize_window : (unit -> unit) ref +(* Hooks *) +val refresh_font_hook : (unit -> unit) ref +val refresh_background_color_hook : (unit -> unit) ref +val refresh_toolbar_hook : (unit -> unit) ref +val resize_window_hook : (unit -> unit) ref +val refresh_tabs_hook : (unit -> unit) ref val use_default_doc_url : string -- cgit v1.2.3