summaryrefslogtreecommitdiffstats
path: root/desktop-widgets/plannerDetails.ui
diff options
context:
space:
mode:
authorGravatar Stefan Fuchs <sfuchs@gmx.de>2017-02-16 22:44:37 +0100
committerGravatar Dirk Hohndel <dirk@hohndel.org>2017-02-20 09:42:29 -0800
commit4f2a7dc972cc6c4bb9a22950b49a6877313a0bb1 (patch)
tree56bb3092efd11438bb4819018b2d9edf02ea853e /desktop-widgets/plannerDetails.ui
parent8bf804a764aecaa4a6c5636f62ba5ef61f8262d3 (diff)
downloadsubsurface-4f2a7dc972cc6c4bb9a22950b49a6877313a0bb1.tar.gz
Remove default stylesheet from planner output
Remove the default stylesheet ("Courier" 13pt) from the planner output QTextEdit. Remove the content of the html property of the QTextEdit because we overwrite it when doing setHtml. After printing copy the original dive notes string displayed_dive.notes back to the QTextEdit Advantages: Display is according to font settings. ctrl - mousewheel for zoom always works. Drawbacks: Printing font is same as display font but can be adjusted by zooming before. Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to 'desktop-widgets/plannerDetails.ui')
-rw-r--r--desktop-widgets/plannerDetails.ui8
1 files changed, 2 insertions, 6 deletions
diff --git a/desktop-widgets/plannerDetails.ui b/desktop-widgets/plannerDetails.ui
index 1f2790d85..17e22bcb5 100644
--- a/desktop-widgets/plannerDetails.ui
+++ b/desktop-widgets/plannerDetails.ui
@@ -83,17 +83,13 @@
</sizepolicy>
</property>
<property name="styleSheet">
- <string notr="true">font: 13pt &quot;Courier&quot;;</string>
+ <string notr="true"/>
</property>
<property name="readOnly">
<bool>true</bool>
</property>
<property name="html">
- <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:'Courier'; font-size:13pt; 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-family:'.Curier New';&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
+ <string/>
</property>
</widget>
</item>