Changeset 12130 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2017-05-13T00:56:58+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r12095 r12130 1405 1405 /** 1406 1406 * Updates system properties with the current values in the preferences. 1407 *1408 1407 */ 1409 1408 public void updateSystemProperties() { … … 1417 1416 // Force AWT toolkit to update its internal preferences (fix #6345). 1418 1417 // Does not work anymore with Java 9, to remove with Java 9 migration 1419 if ( !GraphicsEnvironment.isHeadless()) {1418 if (Utils.getJavaVersion() < 9 && !GraphicsEnvironment.isHeadless()) { 1420 1419 try { 1421 1420 Field field = Toolkit.class.getDeclaredField("resources");
Note:
See TracChangeset
for help on using the changeset viewer.