From fbfa8543a1fd12f31169c60a331668825175fadb Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Wed, 20 Jun 2012 22:41:47 -0700 Subject: [PATCH] issue #358: Rename button-pen -> lookup-button-pen. --- basis/ui/gadgets/buttons/buttons.factor | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/basis/ui/gadgets/buttons/buttons.factor b/basis/ui/gadgets/buttons/buttons.factor index 3217fafb52..39269328d8 100644 --- a/basis/ui/gadgets/buttons/buttons.factor +++ b/basis/ui/gadgets/buttons/buttons.factor @@ -67,7 +67,7 @@ pressed selected pressed-selected ; C: button-pen -: button-pen ( button pen -- button pen ) +: lookup-button-pen ( button pen -- button pen ) over find-button { { [ dup { [ pressed?>> ] [ selected?>> ] } 1&& ] [ drop pressed-selected>> @@ -79,10 +79,10 @@ C: button-pen } cond ; M: button-pen draw-interior - button-pen dup [ draw-interior ] [ 2drop ] if ; + lookup-button-pen dup [ draw-interior ] [ 2drop ] if ; M: button-pen draw-boundary - button-pen dup [ draw-boundary ] [ 2drop ] if ; + lookup-button-pen dup [ draw-boundary ] [ 2drop ] if ; M: button-pen pen-pref-dim [ @@ -95,10 +95,10 @@ M: button-pen pen-pref-dim ] [ vmax ] reduce-outputs ; M: button-pen pen-background - button-pen pen-background ; + lookup-button-pen pen-background ; M: button-pen pen-foreground - button-pen pen-foreground ; + lookup-button-pen pen-foreground ;