|
Last change
on this file since 3707 was 3707, checked in by bastiK, 13 years ago |
|
Added remotecontrol plugin to josm core. This plugin was initially written by Frederik Ramm (frederik) and incorporates code taken from YWMS plugin by frsantos. Major contributions by Bodo Meissner (bomm) and stephankn. Note: The code has been added, but is not "active" yet (RemoteControl.on == false). This is because wmsplugin and imagery plugin has not been adapted to this change. They are about to be integrated as well, so this adaption is not necessary.
|
-
Property svn:eol-style
set to
native
|
|
File size:
706 bytes
|
| Line | |
|---|
| 1 | // License: GPL. For details, see LICENSE file.
|
|---|
| 2 | package org.openstreetmap.josm.io.remotecontrol;
|
|---|
| 3 |
|
|---|
| 4 | /**
|
|---|
| 5 | * This class should replace PermissionPref because it allows explicit
|
|---|
| 6 | * specification of the permission's default value.
|
|---|
| 7 | *
|
|---|
| 8 | * @author Bodo Meissner
|
|---|
| 9 | */
|
|---|
| 10 | @SuppressWarnings("deprecation")
|
|---|
| 11 | public class PermissionPrefWithDefault extends PermissionPref {
|
|---|
| 12 |
|
|---|
| 13 | public boolean defaultVal = true;
|
|---|
| 14 |
|
|---|
| 15 | public PermissionPrefWithDefault(String pref, boolean defaultVal, String message) {
|
|---|
| 16 | super(pref, message);
|
|---|
| 17 | this.defaultVal = defaultVal;
|
|---|
| 18 | }
|
|---|
| 19 |
|
|---|
| 20 | public PermissionPrefWithDefault(PermissionPref prefWithoutDefault) {
|
|---|
| 21 | super(prefWithoutDefault.pref, prefWithoutDefault.message);
|
|---|
| 22 | }
|
|---|
| 23 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
