From 306194e9fa987ad80a4aeb5f1312ffa72e9b5e11 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 25 Apr 2013 06:04:41 -0600
Subject: [PATCH] racket/gui gtk: preserve button font on label change

---
 collects/mred/private/wx/gtk/button.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/mred/private/wx/gtk/button.rkt b/collects/mred/private/wx/gtk/button.rkt
index 719ffab2ba..957f90dbad 100644
--- a/collects/mred/private/wx/gtk/button.rkt
+++ b/collects/mred/private/wx/gtk/button.rkt
@@ -118,10 +118,12 @@
   (define/override (get-label-gtk)
     (gtk_bin_get_child (get-client-gtk)))
 
+  (define the-font font)
   (define/override (set-label s)
     (cond
      [(string? s)
-      (gtk_button_set_label gtk (mnemonic-string s))]
+      (gtk_button_set_label gtk (mnemonic-string s))
+      (when the-font (install-control-font (get-label-gtk) the-font))]
      [else
       (let ([pixbuf (bitmap->pixbuf s)])
         (atomically