Changeset 4880 in josm for trunk/src/org


Ignore:
Timestamp:
2012-01-31T11:42:42+01:00 (8 years ago)
Author:
stoecker
Message:

fix advanced preferences tooltip

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

    r4874 r4880  
    8383        }
    8484
     85        public Setting getDefaultValue() {
     86            return defaultValue;
     87        }
     88
    8589        public void setValue(Setting value) {
    8690            this.value = value;
     
    259263                label.setFont(label.getFont().deriveFont(Font.BOLD));
    260264            }
    261             //label.setToolTipText("..."); TODO
     265            val = pe.getDefaultValue().getValue();
     266            if(val != null)
     267            {
     268                if(pe.isDefault()) {
     269                    label.setToolTipText(tr("Current value is default."));
     270                } else {
     271                    label.setToolTipText(tr("Default value is ''{0}''.", val));
     272                }
     273            } else {
     274                label.setToolTipText(tr("Default value currently unknown (setting has not been used yet)."));
     275            }
    262276            return label;
    263277        }
Note: See TracChangeset for help on using the changeset viewer.