/* * Copyright (c) 2011, the Dart project authors. * * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except * in compliance with the License. You may obtain a copy of the License at * * http://www.eclipse.org/legal/epl-v10.html * * Unless required by applicable law or agreed to in writing, software distributed under the License * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express * or implied. See the License for the specific language governing permissions and limitations under * the License. */ package com.google.dart.tools.ui.internal.text.editor; import com.google.dart.tools.ui.DartPluginImages; import com.google.dart.tools.ui.DartToolsPlugin; import com.google.dart.tools.ui.PreferenceConstants; import com.google.dart.tools.ui.internal.text.DartHelpContextIds; import org.eclipse.jface.action.IAction; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.util.IPropertyChangeListener; import org.eclipse.jface.util.PropertyChangeEvent; import org.eclipse.ui.PlatformUI; import org.eclipse.ui.texteditor.ITextEditor; import org.eclipse.ui.texteditor.TextEditorAction; /** * A toolbar action which toggles the * {@linkplain com.google.dart.tools.ui.PreferenceConstants#EDITOR_MARK_OCCURRENCES mark occurrences * preference}. */ public class ToggleMarkOccurrencesAction extends TextEditorAction implements IPropertyChangeListener { private IPreferenceStore fStore; /** * Constructs and updates the action. */ public ToggleMarkOccurrencesAction() { super( DartEditorMessages.getBundleForConstructedKeys(), "ToggleMarkOccurrencesAction.", null, IAction.AS_CHECK_BOX); //$NON-NLS-1$ DartPluginImages.setToolImageDescriptors(this, "mark_occurrences.gif"); //$NON-NLS-1$ PlatformUI.getWorkbench().getHelpSystem().setHelp( this, DartHelpContextIds.TOGGLE_MARK_OCCURRENCES_ACTION); update(); } /* * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent) */ @Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.EDITOR_MARK_OCCURRENCES)) { setChecked(Boolean.valueOf(event.getNewValue().toString()).booleanValue()); } } /* * @see IAction#actionPerformed */ @Override public void run() { fStore.setValue(PreferenceConstants.EDITOR_MARK_OCCURRENCES, isChecked()); } /* * @see TextEditorAction#setEditor(ITextEditor) */ @Override public void setEditor(ITextEditor editor) { super.setEditor(editor); if (editor != null) { if (fStore == null) { fStore = DartToolsPlugin.getDefault().getPreferenceStore(); fStore.addPropertyChangeListener(this); } } else if (fStore != null) { fStore.removePropertyChangeListener(this); fStore = null; } update(); } /* * @see TextEditorAction#update */ @Override public void update() { ITextEditor editor = getTextEditor(); boolean checked = false; if (editor instanceof DartEditor) { checked = ((DartEditor) editor).isMarkingOccurrences(); } setChecked(checked); setEnabled(editor != null); } }