From ce8fef82c1b76e1f1e41391f8388e12b858454bc Mon Sep 17 00:00:00 2001
From: Uwe Risse <dg2ycb@gmx.de>
Date: Sat, 11 Mar 2023 10:15:08 +0100
Subject: [PATCH] Some more fine-tuning to the astro.ui sizing.

---
 map65/astro.ui | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/map65/astro.ui b/map65/astro.ui
index 5fb49dea0..da5474738 100644
--- a/map65/astro.ui
+++ b/map65/astro.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>391</width>
-    <height>430</height>
+    <width>441</width>
+    <height>503</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -22,7 +22,6 @@
         <font>
          <family>Courier New</family>
          <pointsize>20</pointsize>
-         <weight>75</weight>
          <bold>true</bold>
         </font>
        </property>