summaryrefslogtreecommitdiffstats
path: root/desktop-widgets
diff options
context:
space:
mode:
authorGravatar Dirk Hohndel <dirk@hohndel.org>2017-02-24 01:06:06 -0800
committerGravatar Dirk Hohndel <dirk@hohndel.org>2017-02-24 01:06:09 -0800
commit5b8bde8e1e97ea597c28e52e88fbc9475e6ea294 (patch)
treec3eca05c81957f68e08ada14406c4b13e2354f75 /desktop-widgets
parentb6ef70bc41e731c91400ea6169829f13929d8204 (diff)
downloadsubsurface-5b8bde8e1e97ea597c28e52e88fbc9475e6ea294.tar.gz
Bring back style sheet HTML for planner output
This is a partial revert of commit 4f2a7dc972cc ("Remove default stylesheet from planner output"). Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
-rw-r--r--desktop-widgets/plannerDetails.ui6
1 files changed, 5 insertions, 1 deletions
diff --git a/desktop-widgets/plannerDetails.ui b/desktop-widgets/plannerDetails.ui
index 17e22bcb5..5ffc1009b 100644
--- a/desktop-widgets/plannerDetails.ui
+++ b/desktop-widgets/plannerDetails.ui
@@ -89,7 +89,11 @@
<bool>true</bool>
</property>
<property name="html">
- <string/>
+ <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;
+ </string>
</property>
</widget>
</item>