PyToggleMarkOccurrences.java example

Explorer
HBuilder-opensource-master
/**
 * Copyright (c) 2005-2011 by Appcelerator, Inc. All Rights Reserved.
 * Licensed under the terms of the Eclipse Public License (EPL).
 * Please see the license.txt included with this distribution for details.
 * Any modifications to this file must keep this entire header intact.
 */
/*
 * Created on Apr 29, 2006
 */
package com.python.pydev.refactoring.actions;

import java.util.ResourceBundle;

import org.eclipse.jface.action.IAction;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.ui.texteditor.TextEditorAction;

/**
 * References: 
 * 
 * - org.eclipse.jdt.internal.ui.javaeditor.ToggleMarkOccurrencesAction
 * - org.eclipse.jdt.internal.ui.javaeditor.JavaEditor #markOccurrencesOfType, #updateOccurrenceAnnotations
 * 
 * This class only makes the 'toggle' for the occurrences.
 * 
 * @author Fabio
 */
public class PyToggleMarkOccurrences extends TextEditorAction implements IPropertyChangeListener {
    public PyToggleMarkOccurrences(ResourceBundle resourceBundle) {
        super(resourceBundle, "PyToggleMarkOccurrencesAction.", null, IAction.AS_CHECK_BOX); //$NON-NLS-1$
        update();
    }

    public void propertyChange(PropertyChangeEvent event) {
    }

}