Changeset 6040 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/HtmlPanel.java

Timestamp:

2013-06-29T01:23:39+02:00 (13 years ago)

Author:

Don-vip

Message:

fix #8827 - HTML rendering differ if run before or after having launched Help Browser

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/HtmlPanel.java (modified) (3 diffs)

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

@@ -9 +9 @@
 import javax.swing.JPanel;
 import javax.swing.UIManager;
-import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.text.html.StyleSheet;
 
@@ -19 +18 @@
  * blue and they are underlined. There is also a CSS rule for the HTML tag <strong>
  * configured.
- *
+ * @since 2688
  */
 public class HtmlPanel extends JPanel {
@@ -50 +49 @@
         ss.addRule("a {text-decoration: underline; color: blue}");
         ss.addRule("ul {margin-left: 1cm; list-style-type: disc}");
-        HTMLEditorKit kit = new HTMLEditorKit();
+        JosmHTMLEditorKit kit = new JosmHTMLEditorKit();
         kit.setStyleSheet(ss);
         jepMessage.setEditorKit(kit);