Changeset 13331 in josm for trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java
- Timestamp:
- 2018-01-16T00:28:24+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java
r13268 r13331 26 26 27 27 import javax.script.ScriptEngine; 28 import javax.script.ScriptEngineManager;29 28 import javax.script.ScriptException; 30 29 import javax.swing.JOptionPane; … … 421 420 this.mainPrefs = mainPrefs; 422 421 PreferencesUtils.resetLog(); 423 engine = new ScriptEngineManager(null).getEngineByName("JavaScript"); 422 engine = Utils.getJavaScriptEngine(); 423 if (engine == null) { 424 throw new ScriptException("Failed to retrieve JavaScript engine"); 425 } 424 426 engine.eval("API={}; API.pref={}; API.fragments={};"); 425 427
Note:
See TracChangeset
for help on using the changeset viewer.
