Changeset 8846 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java
- Timestamp:
- 2015-10-10T01:40:42+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java
r8377 r8846 99 99 final Font f = UIManager.getFont("Label.font"); 100 100 final StyleSheet ss = new StyleSheet(); 101 ss.addRule((allBold ? "html" : "strong, b") + " {" + getFontRule(f) + "}");101 ss.addRule((allBold ? "html" : "strong, b") + " {" + getFontRule(f) + '}'); 102 102 ss.addRule("a {text-decoration: underline; color: blue}"); 103 ss.addRule("h1 {" + getFontRule(GuiHelper.getTitleFont()) + "}");103 ss.addRule("h1 {" + getFontRule(GuiHelper.getTitleFont()) + '}'); 104 104 ss.addRule("ol {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: decimal}"); 105 105 ss.addRule("ul {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: disc}"); 106 106 if ("km".equals(LanguageInfo.getJOSMLocaleCode())) { 107 107 // Fix rendering problem for Khmer script 108 ss.addRule("p {" + getFontRule(UIManager.getFont("Label.font")) + "}");108 ss.addRule("p {" + getFontRule(UIManager.getFont("Label.font")) + '}'); 109 109 } 110 110 kit.setStyleSheet(ss);
Note:
See TracChangeset
for help on using the changeset viewer.