From edca0467276d5ad867e491247246fe833b5c320c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@hornquist.se>
Date: Fri, 7 Feb 2020 15:04:11 +0100
Subject: Fix button widths.

---
 gui.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gui.rkt b/gui.rkt
index 661f138..ce12285 100644
--- a/gui.rkt
+++ b/gui.rkt
@@ -50,6 +50,7 @@
         (new button%
              [parent par]
              [label (~a lbl)]
+             [min-width 30]
              [callback
                (lambda (button event)
                  (send msg
@@ -73,6 +74,7 @@
       (new button%
            [parent top-op-panel]
            [label "←"]
+           [min-width 30]
            [callback
              (lambda (button event)
                (define str (send msg get-label))
@@ -82,6 +84,7 @@
       (new button%
            [parent bottom-op-panel]
            [label "="]
+           [min-width 30]
            [callback
              (lambda (button event)
                (define ^ expt)
-- 
cgit v1.2.3