diff options
Diffstat (limited to 'src/problemsdialog.ui')
| -rw-r--r-- | src/problemsdialog.ui | 6 |
1 files changed, 3 insertions, 3 deletions
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><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><meta name="qrichtext" content="1" /><style type="text/css">
p, li { white-space: pre-wrap; }
-</style></head><body style=" font-family:'MS Shell Dlg 2'; font-size:7.8pt; font-weight:400; font-style:normal;">
-<p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><br /></p></body></html></string>
+</style></head><body style=" font-family:'MS Shell Dlg 2'; font-size:8.25pt; font-weight:400; font-style:normal;">
+<p style="-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;"><br /></p></body></html></string>
</property>
</widget>
</item>
|
