From f5b7f689e6eeeb439346652566f6d841470376f4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Sat, 14 Feb 2015 18:52:11 +0100
Subject: Attempt to be more colorblind friendly in CoqIDE (Close #4024)

---
 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 1b52d20a4..ab12e4c7b 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -71,6 +71,7 @@ type pref =
       mutable processing_color : string;
       mutable processed_color : string;
       mutable error_color : string;
+      mutable error_fg_color : string;
 
       mutable dynamic_word_wrap : bool;
       mutable show_line_number : bool;
-- 
cgit v1.2.3