Changeset 6932 in josm for trunk/src

Timestamp:

2014-03-24T23:37:06+01:00 (11 years ago)

Author:

Don-vip

Message:

fix #3764 - add stylesheet for html ordered and unordered lists, for use in error messages

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java

@@ -97 +97 @@
         ss.addRule("a {text-decoration: underline; color: blue}");
         ss.addRule("h1 {" + getFontRule(GuiHelper.getTitleFont()) + "}");
+        ss.addRule("ol {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: decimal}");
+        ss.addRule("ul {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: disc}");
         kit.setStyleSheet(ss);
         pane.setEditorKit(kit);