Reintroduce layout margin for topic line, looks ugly with locked docks otherwise

diff --git a/src/qtui/ui/topicwidget.ui b/src/qtui/ui/topicwidget.ui
index ca0ac04..b1c047a 100644 (file)
--- a/src/qtui/ui/topicwidget.ui
+++ b/src/qtui/ui/topicwidget.ui
@@ -34,8 +34,17 @@
    <property name="sizeConstraint" >
     <enum>QLayout::SetDefaultConstraint</enum>
    </property>
-   <property name="margin" >
-    <number>0</number>
+   <property name="leftMargin" >
+    <number>4</number>
+   </property>
+   <property name="topMargin" >
+    <number>2</number>
+   </property>
+   <property name="rightMargin" >
+    <number>4</number>
+   </property>
+   <property name="bottomMargin" >
+    <number>2</number>
    </property>
    <item>
     <widget class="TopicLabel" name="topicLabel" >

diff --git a/src/qtui/verticaldock.cpp b/src/qtui/verticaldock.cpp
index fc0125b..f8090db 100644 (file)
--- a/src/qtui/verticaldock.cpp
+++ b/src/qtui/verticaldock.cpp
@@ -31,11 +31,11 @@ VerticalDockTitle::VerticalDockTitle(QDockWidget *parent)
 }
 
 QSize VerticalDockTitle::sizeHint() const {
-  return QSize(10, 15);
+  return QSize(8, 15);
 }
 
 QSize VerticalDockTitle::minimumSizeHint() const {
-  return QSize(10, 10);
+  return QSize(8, 10);
 }
 
 void VerticalDockTitle::paintEvent(QPaintEvent *event) {