From 7477094b353b48f1bd1f8ee97a8cd69c04be9db9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 10 Apr 2014 16:12:42 +0200 Subject: CoqIDE: options for syntax highlighting --- ide/preferences.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'ide/preferences.mli') diff --git a/ide/preferences.mli b/ide/preferences.mli index 26dc51f39..a93767751 100644 --- a/ide/preferences.mli +++ b/ide/preferences.mli @@ -95,6 +95,7 @@ val configure : ?apply:(unit -> unit) -> unit -> unit (* Hooks *) val refresh_editor_hook : (unit -> unit) ref val refresh_style_hook : (unit -> unit) ref +val refresh_language_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 -- cgit v1.2.3