From 4668f3d814eabec2f9beec4cfdc946d675c406b1 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 11 Apr 2012 16:21:46 +0000
Subject: Added a reset button for CoqIDE colors

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15128 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.ml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 828294c33f..3bcffe51d5 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -361,7 +361,7 @@ let configure ?(apply=(fun () -> ())) () =
   in
 
   let config_color =
-    let box = GPack.hbox () in
+    let box = GPack.vbox () in
     let table = GPack.table
       ~row_spacings:5
       ~col_spacings:5
@@ -395,6 +395,16 @@ let configure ?(apply=(fun () -> ())) () =
       ~color:(Tags.get_processing_color ())
       ~packing:(table#attach ~left:1 ~top:2) ()
     in
+    let reset_button = GButton.button
+      ~label:"Reset"
+      ~packing:box#pack ()
+    in
+    let reset_cb () =
+      background_button#set_color (Tags.color_of_string "cornsilk");
+      processing_button#set_color (Tags.color_of_string "light blue");
+      processed_button#set_color (Tags.color_of_string "light green");
+    in
+    let _ = reset_button#connect#clicked ~callback:reset_cb in
     let label = "Color configuration" in
     let callback () =
       !current.background_color <- Tags.string_of_color background_button#color;
-- 
cgit v1.2.3