From 4335698cebbdf50aa2fb729ff9723be86e56882d Mon Sep 17 00:00:00 2001 From: nicolas-p Date: Sun, 26 Jul 2015 15:33:37 +0200 Subject: [PATCH] ui.gadgets.colors: Several colour changes --- basis/ui/gadgets/colors/colors.factor | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/basis/ui/gadgets/colors/colors.factor b/basis/ui/gadgets/colors/colors.factor index 89167d3419..6bbe87b5e9 100644 --- a/basis/ui/gadgets/colors/colors.factor +++ b/basis/ui/gadgets/colors/colors.factor @@ -20,7 +20,7 @@ CONSTANT: roll-button-selected-background COLOR: dark-gray CONSTANT: source-files-color COLOR: yellow2 CONSTANT: errors-color COLOR: chocolate1 -CONSTANT: details-color COLOR: SlateGray2 +CONSTANT: details-color COLOR: SteelBlue3 CONSTANT: debugger-color COLOR: chocolate1 CONSTANT: completion-color COLOR: magenta @@ -40,14 +40,14 @@ CONSTANT: help-header-background T{ rgba { red 0.9568 } { green 0.9450 } { blue 0.8509 } { alpha 1.0 } } inline CONSTANT: thread-status-stopped-background -T{ rgba { red 0.9568 } { green 0.8509 } { blue 0.8509 } { alpha 1.0 } } inline +T{ rgba { red 0.9569 } { green 0.8510 } { blue 0.8510 } { alpha 1.0 } } inline CONSTANT: thread-status-suspended-background -T{ rgba { red 0.9568 } { green 0.9450 } { blue 0.8509 } { alpha 1.0 } } inline +T{ rgba { red 0.9569 } { green 0.9177 } { blue 0.8510 } { alpha 1.0 } } inline CONSTANT: thread-status-running-background -T{ rgba { red 0.9295 } { green 0.9569 } { blue 0.8510 } { alpha 1.0 } } inline +T{ rgba { red 0.9294 } { green 0.9569 } { blue 0.8510 } { alpha 1.0 } } inline CONSTANT: error-summary-background -T{ rgba { red 0.9568 } { green 0.8509 } { blue 0.8509 } { alpha 1.0 } } inline +T{ rgba { red 0.9569 } { green 0.9177 } { blue 0.8510 } { alpha 1.0 } } inline CONSTANT: content-background COLOR: white