diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-11 16:21:46 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-11 16:21:46 +0000 |
commit | 4668f3d814eabec2f9beec4cfdc946d675c406b1 (patch) | |
tree | 661a5f9a139a37618605d365746e4876ac5243ab /ide/preferences.ml | |
parent | b614ad9a111595b7968063c4d6c364ab91e19bec (diff) |
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
Diffstat (limited to 'ide/preferences.ml')
-rw-r--r-- | ide/preferences.ml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 828294c33..3bcffe51d 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; |