Changeset 5069 in josm for trunk/src/org

Timestamp:

2012-03-11T13:47:19+01:00 (13 years ago)

Author:

simon04

Message:

make entries of advanced preference dialog copyable

Location:

trunk/src/org/openstreetmap/josm

Files:

• data/Preferences.java (modified) (1 diff)
• gui/preferences/advanced/AdvancedPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -117 +117 @@
             this.value = value;
         }
+        @Override
         public T getValue() {
             return value;
+        }
+        @Override
+        public String toString() {
+            return value.toString();
         }
     }

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -117 +117 @@
         }
 
+        @Override
         public int compareTo(PrefEntry other) {
             return key.compareTo(other.key);
+        }
+
+        @Override
+        public String toString() {
+            return value.toString();
         }
     }