Changeset 11544 in josm for trunk/src/org/openstreetmap/josm/gui/widgets
- Timestamp:
- 2017-02-09T00:54:57+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/HtmlPanel.java
r8846 r11544 30 30 Font f = UIManager.getFont("Label.font"); 31 31 StyleSheet ss = new StyleSheet(); 32 String rule =MessageFormat.format(32 ss.addRule("body {" + MessageFormat.format( 33 33 "font-family: ''{0}'';font-size: {1,number}pt; font-weight: {2}; font-style: {3}", 34 34 f.getName(), 35 35 f.getSize(), 36 36 f.isBold() ? "bold" : "normal", 37 f.isItalic() ? "italic" : "normal" 38 ); 39 rule = "body {" + rule + '}'; 40 rule = MessageFormat.format( 37 f.isItalic() ? "italic" : "normal" 38 ) + '}'); 39 ss.addRule("strong {" + MessageFormat.format( 41 40 "font-family: ''{0}'';font-size: {1,number}pt; font-weight: {2}; font-style: {3}", 42 41 f.getName(), … … 44 43 "bold", 45 44 f.isItalic() ? "italic" : "normal" 46 ); 47 rule = "strong {" + rule + '}'; 48 ss.addRule(rule); 45 ) + '}'); 49 46 ss.addRule("a {text-decoration: underline; color: blue}"); 50 47 ss.addRule("ul {margin-left: 1cm; list-style-type: disc}");
Note:
See TracChangeset
for help on using the changeset viewer.