Ticket #13687: use-CachedFile-for-help-browser-css.patch

File use-CachedFile-for-help-browser-css.patch, 1.7 KB (added by sebastic, 6 years ago)
  • src/org/openstreetmap/josm/gui/help/HelpBrowser.java

     
    1515import java.awt.event.WindowEvent;
    1616import java.io.BufferedReader;
    1717import java.io.IOException;
     18import java.io.InputStream;
    1819import java.io.InputStreamReader;
    1920import java.io.StringReader;
    2021import java.nio.charset.StandardCharsets;
     
    4950import org.openstreetmap.josm.gui.MainMenu;
    5051import org.openstreetmap.josm.gui.widgets.JosmEditorPane;
    5152import org.openstreetmap.josm.gui.widgets.JosmHTMLEditorKit;
     53import org.openstreetmap.josm.io.CachedFile;
    5254import org.openstreetmap.josm.tools.ImageProvider;
    5355import org.openstreetmap.josm.tools.InputMapUtils;
    5456import org.openstreetmap.josm.tools.LanguageInfo.LocaleType;
     
    139141    protected StyleSheet buildStyleSheet() {
    140142        StyleSheet ss = new StyleSheet();
    141143        StringBuilder css = new StringBuilder();
    142         try (BufferedReader breader = new BufferedReader(
    143                 new InputStreamReader(
    144                         getClass().getResourceAsStream("/data/help-browser.css"), StandardCharsets.UTF_8
    145                 )
    146         )) {
     144        try (CachedFile cf = new CachedFile("resource://data/help-browser.css");
     145             InputStream cssStream = cf.getInputStream();
     146             BufferedReader breader = new BufferedReader(
     147                 new InputStreamReader(cssStream, StandardCharsets.UTF_8)
     148             )
     149        ) {
    147150            String line;
    148151            while ((line = breader.readLine()) != null) {
    149152                css.append(line);