From ed085776c7cad991cc0446c9c7d3231770df374f Mon Sep 17 00:00:00 2001
From: Janek Bevendorff <janek@jbev.net>
Date: Fri, 24 Feb 2017 16:27:21 +0100
Subject: [PATCH] Make HTTP port input field smaller

---
 src/http/OptionDialog.ui | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/http/OptionDialog.ui b/src/http/OptionDialog.ui
index e78199c00..abe994772 100644
--- a/src/http/OptionDialog.ui
+++ b/src/http/OptionDialog.ui
@@ -237,6 +237,12 @@
          </item>
          <item row="0" column="1">
           <widget class="QLineEdit" name="httpPort">
+           <property name="sizePolicy">
+            <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
+             <horstretch>0</horstretch>
+             <verstretch>0</verstretch>
+            </sizepolicy>
+           </property>
            <property name="inputMask">
             <string notr="true">d0000</string>
            </property>