/*******************************************************************************
* Copyright (c) 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.erlide.ui.console.actions;
import org.eclipse.debug.ui.DebugUITools;
import org.eclipse.jface.action.Action;
import org.eclipse.jface.action.IAction;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
/**
* Abstract action for toggling preference to automatically show the console
* when a streams content changes.
*
* @since 3.3
*/
public abstract class ShowWhenContentChangesAction extends Action implements
IPropertyChangeListener {
/**
* Constructs an action to toggle console auto activation preferences
*/
public ShowWhenContentChangesAction(final String name) {
super(name, IAction.AS_CHECK_BOX);
setToolTipText(name);
getPreferenceStore().addPropertyChangeListener(this);
update();
}
@Override
public void propertyChange(final PropertyChangeEvent event) {
final String property = event.getProperty();
if (property.equals(getKey())) {
update();
}
}
protected abstract String getKey();
private void update() {
final IPreferenceStore store = getPreferenceStore();
if (store.getBoolean(getKey())) {
// on
setChecked(true);
} else {
// off
setChecked(false);
}
}
/**
* @return
*/
private IPreferenceStore getPreferenceStore() {
return DebugUITools.getPreferenceStore();
}
@Override
public void run() {
final IPreferenceStore store = getPreferenceStore();
final boolean show = isChecked();
store.removePropertyChangeListener(this);
store.setValue(getKey(), show);
store.addPropertyChangeListener(this);
}
/**
* Must be called to dispose this action.
*/
public void dispose() {
getPreferenceStore().removePropertyChangeListener(this);
}
}