From ad7c41114ff2fd2220111fd0f71f052375aed68e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Petr=20Mr=C3=A1zek?= <peterix@gmail.com>
Date: Thu, 7 Nov 2013 22:31:15 +0100
Subject: Fix layout margins in console window

---
 gui/ConsoleWindow.ui | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

(limited to 'gui')

diff --git a/gui/ConsoleWindow.ui b/gui/ConsoleWindow.ui
index 8dc80015..472c7c8d 100644
--- a/gui/ConsoleWindow.ui
+++ b/gui/ConsoleWindow.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>600</width>
-    <height>400</height>
+    <width>610</width>
+    <height>391</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -23,6 +23,9 @@
    <property name="rightMargin">
     <number>0</number>
    </property>
+   <property name="bottomMargin">
+    <number>6</number>
+   </property>
    <item>
     <widget class="QPlainTextEdit" name="text">
      <property name="font">
@@ -49,6 +52,12 @@
    </item>
    <item>
     <layout class="QHBoxLayout" name="horizontalLayout">
+     <property name="leftMargin">
+      <number>6</number>
+     </property>
+     <property name="rightMargin">
+      <number>6</number>
+     </property>
      <item>
       <spacer name="horizontalSpacer">
        <property name="orientation">
@@ -65,14 +74,14 @@
      <item>
       <widget class="QPushButton" name="btnKillMinecraft">
        <property name="text">
-        <string>Kill Minecraft</string>
+        <string>&amp;Kill Minecraft</string>
        </property>
       </widget>
      </item>
      <item>
       <widget class="QPushButton" name="closeButton">
        <property name="text">
-        <string>Close</string>
+        <string>&amp;Close</string>
        </property>
       </widget>
      </item>
@@ -80,6 +89,11 @@
    </item>
   </layout>
  </widget>
+ <tabstops>
+  <tabstop>text</tabstop>
+  <tabstop>closeButton</tabstop>
+  <tabstop>btnKillMinecraft</tabstop>
+ </tabstops>
  <resources/>
  <connections/>
 </ui>
-- 
cgit v1.2.3