From 7d5144acbac4c207d74b15d64757b66bc76310d1 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 9 Feb 2016 18:16:36 -0600
Subject: [PATCH] adjust switchable-button so that it can change its label

---
 gui-lib/mrlib/switchable-button.rkt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gui-lib/mrlib/switchable-button.rkt b/gui-lib/mrlib/switchable-button.rkt
index 04ba305e..e512cda7 100644
--- 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?)))