ui.gadgets.buttons: workaround for windows gradient bug

char-rename
nicolas-p 2017-03-10 21:31:05 +01:00 committed by John Benediktsson
parent d60970c0a5
commit 20a663ab0b
1 changed files with 7 additions and 6 deletions

View File

@ -1,10 +1,11 @@
! Copyright (C) 2005, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors assocs colors combinators combinators.short-circuit
combinators.smart fry kernel locals math.vectors memoize models
namespaces sequences ui.commands ui.gadgets ui.gadgets.borders
ui.gadgets.labels ui.gadgets.packs ui.theme ui.gadgets.worlds
ui.gestures ui.pens ui.pens.image ui.pens.solid ui.pens.tile
USING: accessors assocs colors colors.constants combinators
combinators.short-circuit combinators.smart fry kernel locals
math.vectors memoize models namespaces sequences system
ui.commands ui.gadgets ui.gadgets.borders ui.gadgets.labels
ui.gadgets.packs ui.gadgets.worlds ui.gestures ui.pens
ui.pens.image ui.pens.solid ui.pens.tile ui.theme
ui.theme.images ;
FROM: models => change-model ;
IN: ui.gadgets.buttons
@ -128,7 +129,7 @@ PRIVATE>
] 2dip <tile-pen> ;
: <border-button-pen> ( -- pen )
"button" transparent button-text-color
"button" os windows? [ COLOR: grey95 ] [ transparent ] if button-text-color
<border-button-state-pen> dup
"button-clicked" transparent button-clicked-text-color
<border-button-state-pen> dup dup