Changeset 10876 in josm for trunk/src/org
- Timestamp:
- 2016-08-22T22:05:45+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r10858 r10876 168 168 * Global application preferences 169 169 */ 170 public static Preferences pref;170 public static final Preferences pref = new Preferences(); 171 171 172 172 /** … … 513 513 */ 514 514 public static volatile PlatformHook platform; 515 516 /**517 * Initializes {@code Main.pref} in normal application context.518 * @since 6471519 */520 public static void initApplicationPreferences() {521 Main.pref = new Preferences();522 }523 515 524 516 /** -
trunk/src/org/openstreetmap/josm/data/Preferences.java
r10839 r10876 779 779 } 780 780 781 /** 782 * Resets the preferences to their initial state. This resets all values and file associations. 783 * The default values and listeners are not removed. 784 * <p> 785 * It is meant to be called before {@link #init(boolean)} 786 * @since 10876 787 */ 788 public void resetToInitialState() { 789 resetToDefault(); 790 preferencesDir = null; 791 cacheDir = null; 792 userdataDir = null; 793 saveOnPut = true; 794 initSuccessful = false; 795 } 796 797 /** 798 * Reset all values stored in this map to the default values. This clears the preferences. 799 */ 781 800 public final void resetToDefault() { 782 801 settingsMap.clear(); -
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r10824 r10876 326 326 } 327 327 328 initApplicationPreferences();329 330 328 Policy.setPolicy(new Policy() { 331 329 // Permissions for plug-ins loaded when josm is started via webstart
Note:
See TracChangeset
for help on using the changeset viewer.