Changeset 5886 in josm for trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
- Timestamp:
- 2013-04-19T22:21:57+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r5874 r5886 24 24 import javax.swing.JComponent; 25 25 import javax.swing.JDialog; 26 import javax.swing.JEditorPane;27 26 import javax.swing.JMenuItem; 28 27 import javax.swing.JOptionPane; … … 40 39 import javax.swing.text.Element; 41 40 import javax.swing.text.SimpleAttributeSet; 41 import javax.swing.text.html.HTML.Tag; 42 42 import javax.swing.text.html.HTMLDocument; 43 43 import javax.swing.text.html.HTMLEditorKit; 44 44 import javax.swing.text.html.StyleSheet; 45 import javax.swing.text.html.HTML.Tag;46 45 47 46 import org.openstreetmap.josm.Main; … … 49 48 import org.openstreetmap.josm.gui.HelpAwareOptionPane; 50 49 import org.openstreetmap.josm.gui.MainMenu; 50 import org.openstreetmap.josm.gui.widgets.JosmEditorPane; 51 51 import org.openstreetmap.josm.tools.ImageProvider; 52 52 import org.openstreetmap.josm.tools.OpenBrowser; … … 106 106 107 107 /** the help browser */ 108 private J EditorPane help;108 private JosmEditorPane help; 109 109 110 110 /** the help browser history */ … … 166 166 167 167 protected void build() { 168 help = new J EditorPane();168 help = new JosmEditorPane(); 169 169 HTMLEditorKit kit = new HTMLEditorKit(); 170 170 kit.setStyleSheet(buildStyleSheet());
Note:
See TracChangeset
for help on using the changeset viewer.