adjust switchable-button so that it can change its label

2016-02-09 18:16:36 -06:00 · 2016-02-09 18:16:36 -06:00 · 7d5144acba
commit 7d5144acba
parent e9e2940138
1 changed files with 4 additions and 0 deletions
--- a/gui-lib/mrlib/switchable-button.rkt
+++ b/gui-lib/mrlib/switchable-button.rkt
@ -65,6 +65,10 @@
                [min-width-includes-label? #f])
    
    (define/public (get-button-label) label)
+    (define/override (set-label l)
+      (set! label l)
+      (update-sizes)
+      (refresh))
    
    (when (and (is-a? label bitmap%)
               (not (send label ok?)))