From 9d5336777df569df9d6ca981ae1ceb9bb207dae9 Mon Sep 17 00:00:00 2001
From: nicolas-p <z.nicolas@gmail.com>
Date: Sun, 26 Jul 2015 18:55:59 +0200
Subject: [PATCH] Toolbar button pressed background

---
 basis/ui/gadgets/colors/colors.factor   | 1 +
 basis/ui/gadgets/toolbar/toolbar.factor | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/basis/ui/gadgets/colors/colors.factor b/basis/ui/gadgets/colors/colors.factor
index 6bbe87b5e9..95584d6212 100644
--- a/basis/ui/gadgets/colors/colors.factor
+++ b/basis/ui/gadgets/colors/colors.factor
@@ -4,6 +4,7 @@ USING: accessors colors colors.constants ui.pens.solid ;
 IN: ui.gadgets.colors
 
 CONSTANT: toolbar-background COLOR: grey95
+CONSTANT: toolbar-button-pressed-background COLOR: dark-gray
 
 CONSTANT: menu-background COLOR: grey95
 CONSTANT: menu-border-color COLOR: grey75
diff --git a/basis/ui/gadgets/toolbar/toolbar.factor b/basis/ui/gadgets/toolbar/toolbar.factor
index bd58336491..66828cec16 100644
--- a/basis/ui/gadgets/toolbar/toolbar.factor
+++ b/basis/ui/gadgets/toolbar/toolbar.factor
@@ -10,7 +10,7 @@ IN: ui.gadgets.toolbar
 
 : <toolbar-button-pen> ( -- pen )
     toolbar-background <solid> dup
-    line-color <solid> dup dup
+    toolbar-button-pressed-background <solid> dup dup
     <button-pen> ;
 
 : toolbar-button-theme ( gadget -- gadget )