Changeset 4880 in josm

Timestamp:

2012-01-31T11:42:42+01:00 (12 years ago)

Author:

stoecker

Message:

fix advanced preferences tooltip

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (2 diffs)

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

@@ -83 +83 @@
         }
 
+        public Setting getDefaultValue() {
+            return defaultValue;
+        }
+
         public void setValue(Setting value) {
             this.value = value;
@@ -259 +263 @@
                 label.setFont(label.getFont().deriveFont(Font.BOLD));
             }
-            //label.setToolTipText("..."); TODO
+            val = pe.getDefaultValue().getValue();
+            if(val != null)
+            {
+                if(pe.isDefault()) {
+                    label.setToolTipText(tr("Current value is default."));
+                } else {
+                    label.setToolTipText(tr("Default value is ''{0}''.", val));
+                }
+            } else {
+                label.setToolTipText(tr("Default value currently unknown (setting has not been used yet)."));
+            }
             return label;
         }