From c6758e47c875ffb0fccdd1a4e478f6a9593dc657 Mon Sep 17 00:00:00 2001
From: Tannin <devnull@localhost>
Date: Wed, 18 Mar 2015 19:41:46 +0100
Subject: minor stuff (slight changes to the visual style, code refactorings,
 version increment)

---
 src/problemsdialog.ui | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/problemsdialog.ui')

diff --git a/src/problemsdialog.ui b/src/problemsdialog.ui
index 99c3f3aa..313a3c74 100644
--- a/src/problemsdialog.ui
+++ b/src/problemsdialog.ui
@@ -23,7 +23,7 @@
       <bool>false</bool>
      </attribute>
      <attribute name="headerDefaultSectionSize">
-      <number>420</number>
+      <number>350</number>
      </attribute>
      <column>
       <property name="text">
@@ -49,8 +49,8 @@
       <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
 &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
 p, li { white-space: pre-wrap; }
-&lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'MS Shell Dlg 2'; font-size:7.8pt; font-weight:400; font-style:normal;&quot;&gt;
-&lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
+&lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'MS Shell Dlg 2'; font-size:8.25pt; font-weight:400; font-style:normal;&quot;&gt;
+&lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-size:7.8pt;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
      </property>
     </widget>
    </item>
-- 
cgit v1.3.1