summaryrefslogtreecommitdiffstats
path: root/gui
diff options
context:
space:
mode:
authorSimon Rettberg2018-09-04 14:11:02 +0200
committerSimon Rettberg2018-09-04 14:11:02 +0200
commit94d1072b455f88c858e8e5c592d133c33728440e (patch)
treecb41b76c37f112e543bf6a2017154bf783f04f9a /gui
parent[server] Pimp help window (diff)
downloadpvs2-94d1072b455f88c858e8e5c592d133c33728440e.tar.gz
pvs2-94d1072b455f88c858e8e5c592d133c33728440e.tar.xz
pvs2-94d1072b455f88c858e8e5c592d133c33728440e.zip
[client] Make toolbar movable by mouse
Diffstat (limited to 'gui')
-rw-r--r--gui/client/toolbar.ui18
1 files changed, 13 insertions, 5 deletions
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>