From 94d1072b455f88c858e8e5c592d133c33728440e Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Tue, 4 Sep 2018 14:11:02 +0200
Subject: [client] Make toolbar movable by mouse

---
 gui/client/toolbar.ui | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

(limited to 'gui')

diff --git a/gui/client/toolbar.ui b/gui/client/toolbar.ui
index 062d0e8..cec570f 100644
--- a/gui/client/toolbar.ui
+++ b/gui/client/toolbar.ui
@@ -158,12 +158,20 @@ QCheckBox::indicator:checked:pressed {
       </item>
       <item>
        <widget class="QLabel" name="icon_pvs">
+        <property name="font">
+         <font>
+          <pointsize>10</pointsize>
+          <weight>75</weight>
+          <italic>true</italic>
+          <bold>true</bold>
+          <kerning>true</kerning>
+         </font>
+        </property>
+        <property name="styleSheet">
+         <string notr="true">color:#05f;</string>
+        </property>
         <property name="text">
-         <string notr="true">&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:'Ubuntu'; font-size:11pt; font-weight:400; font-style:normal;&quot;&gt;
-&lt;p style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'DejaVu Sans'; font-size:10pt; font-weight:600; font-style:italic; color:#0055ff;&quot;&gt;PVS&lt;/span&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
+         <string notr="true">PVS</string>
         </property>
        </widget>
       </item>
-- 
cgit v1.2.3-55-g7522