Changeset 4191 in josm for trunk/src/org/openstreetmap/josm/io/remotecontrol/PermissionPrefWithDefault.java
- Timestamp:
- 2011-07-01T09:32:56+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/remotecontrol/PermissionPrefWithDefault.java
r3707 r4191 3 3 4 4 /** 5 * This class should replace PermissionPref because it allows explicit 6 * specification of the permission's default value. 5 * Contains a preference name to control permission for the operation 6 * implemented by the RequestHandler, and an error message to be displayed 7 * if not permitted. 7 8 * 8 9 * @author Bodo Meissner 9 10 */ 10 @SuppressWarnings("deprecation") 11 public class PermissionPrefWithDefault extends PermissionPref { 11 public class PermissionPrefWithDefault { 12 13 /** name of the preference setting to permit the remote operation */ 14 public String pref; 15 /** message to be displayed if operation is not permitted */ 16 public String message; 12 17 13 18 public boolean defaultVal = true; 14 19 15 20 public PermissionPrefWithDefault(String pref, boolean defaultVal, String message) { 16 super(pref, message); 21 this.pref = pref; 22 this.message = message; 17 23 this.defaultVal = defaultVal; 18 24 } 19 20 public PermissionPrefWithDefault(PermissionPref prefWithoutDefault) {21 super(prefWithoutDefault.pref, prefWithoutDefault.message);22 }23 25 }
Note:
See TracChangeset
for help on using the changeset viewer.
