Changeset 6932 in josm for trunk


Ignore:
Timestamp:
2014-03-24T23:37:06+01:00 (6 years ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java

    r6911 r6932  
    9797        ss.addRule("a {text-decoration: underline; color: blue}");
    9898        ss.addRule("h1 {" + getFontRule(GuiHelper.getTitleFont()) + "}");
     99        ss.addRule("ol {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: decimal}");
     100        ss.addRule("ul {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: disc}");
    99101        kit.setStyleSheet(ss);
    100102        pane.setEditorKit(kit);
Note: See TracChangeset for help on using the changeset viewer.