From 721a846cefa00095d3b95d4e57c2487fa4c2f95d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 19 May 2008 14:03:21 +0000 Subject: [PATCH] avoiding flashing from unecessary update of disabled buttons svn: r9891 --- collects/mrlib/switchable-button.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/mrlib/switchable-button.ss b/collects/mrlib/switchable-button.ss index 07ba918727..6150313809 100644 --- a/collects/mrlib/switchable-button.ss +++ b/collects/mrlib/switchable-button.ss @@ -93,11 +93,13 @@ [(send evt entering?) (set! in? #t) (update-float #t) - (refresh)] + (unless disabled? + (refresh))] [(send evt leaving?) (set! in? #f) (update-float #f) - (refresh)] + (unless disabled? + (refresh))] [(send evt moving?) (update-in evt)]))