From 828ecde1ca4ab11dc196744eccad123fef4505f2 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Mon, 9 Feb 2009 00:23:08 -0600
Subject: [PATCH] ui.gadgets.theme: better selection color

---
 basis/ui/gadgets/theme/theme.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/ui/gadgets/theme/theme.factor b/basis/ui/gadgets/theme/theme.factor
index 0256140bb1..3a9ed46330 100644
--- a/basis/ui/gadgets/theme/theme.factor
+++ b/basis/ui/gadgets/theme/theme.factor
@@ -15,7 +15,7 @@ IN: ui.gadgets.theme
 : faint-boundary ( gadget -- gadget )
     COLOR: gray solid-boundary ; inline
 
-: selection-color ( -- color ) COLOR: lavender ; inline
+: selection-color ( -- color ) T{ rgba f 0.8 0.8 1.0 1.0 } ; inline
 
 : focus-border-color ( -- color ) COLOR: dark-gray ; inline