diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-02-24 01:06:06 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-02-24 01:06:09 -0800 |
commit | 5b8bde8e1e97ea597c28e52e88fbc9475e6ea294 (patch) | |
tree | c3eca05c81957f68e08ada14406c4b13e2354f75 /desktop-widgets | |
parent | b6ef70bc41e731c91400ea6169829f13929d8204 (diff) | |
download | subsurface-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.ui | 6 |
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><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd"> +<html><head><meta name="qrichtext" content="1" /><style type="text/css"> +p, li { white-space: pre-wrap; } +</style></head><body style=" font-family:'Courier'; font-size:13pt; font-weight:400; font-style:normal;"> + </string> </property> </widget> </item> |