Changeset 13268 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2018-01-01T19:16:32+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java
r13204 r13268 421 421 this.mainPrefs = mainPrefs; 422 422 PreferencesUtils.resetLog(); 423 engine = new ScriptEngineManager( ).getEngineByName("JavaScript");423 engine = new ScriptEngineManager(null).getEngineByName("JavaScript"); 424 424 engine.eval("API={}; API.pref={}; API.fragments={};"); 425 425
Note:
See TracChangeset
for help on using the changeset viewer.