@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(getPreferenceKey())) setChecked(Boolean.valueOf(event.getNewValue().toString()).booleanValue()); }
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(getPreferenceKey())) setChecked(Boolean.valueOf(event.getNewValue().toString()).booleanValue()); }
public void update() { if (fStore == null) { fStore= JavaPlugin.getDefault().getPreferenceStore(); fStore.addPropertyChangeListener(this); } String key= getPreferenceKey(); setChecked(key != null && fStore.getBoolean(key)); setEnabled(true); }
public void update() { if (fStore == null) { fStore= JavaPlugin.getDefault().getPreferenceStore(); fStore.addPropertyChangeListener(this); } String key= getPreferenceKey(); setChecked(key != null && fStore.getBoolean(key)); setEnabled(true); }