From 7688117f5961882641a5ffc8dea241669f063849 Mon Sep 17 00:00:00 2001
From: Joe Taylor <joe@princeton.edu>
Date: Fri, 28 Sep 2018 12:47:27 -0400
Subject: [PATCH] Let the R2T and T2R up/down arrows be expandable
 horizontally.

---
 mainwindow.ui | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/mainwindow.ui b/mainwindow.ui
index 5b6dc38b0..152684dc8 100644
--- a/mainwindow.ui
+++ b/mainwindow.ui
@@ -654,9 +654,15 @@ QLabel[oob=&quot;true&quot;] {
                      <verstretch>0</verstretch>
                     </sizepolicy>
                    </property>
-                   <property name="maximumSize">
+                   <property name="minimumSize">
                     <size>
                      <width>20</width>
+                     <height>0</height>
+                    </size>
+                   </property>
+                   <property name="maximumSize">
+                    <size>
+                     <width>50</width>
                      <height>20</height>
                     </size>
                    </property>
@@ -698,9 +704,15 @@ QLabel[oob=&quot;true&quot;] {
                      <verstretch>0</verstretch>
                     </sizepolicy>
                    </property>
-                   <property name="maximumSize">
+                   <property name="minimumSize">
                     <size>
                      <width>20</width>
+                     <height>0</height>
+                    </size>
+                   </property>
+                   <property name="maximumSize">
+                    <size>
+                     <width>50</width>
                      <height>20</height>
                     </size>
                    </property>