nl.tudelft.goal.SimpleIDE.actions.RedoAction Maven / Gradle / Ivy

Go to download
/**
 * GOAL interpreter that facilitates developing and executing GOAL multi-agent
 * programs. Copyright (C) 2011 K.V. Hindriks, W. Pasman
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program. If not, see .
 */

package nl.tudelft.goal.SimpleIDE.actions;

import java.awt.event.ActionEvent;
import java.awt.event.InputEvent;

import javax.swing.tree.TreeNode;

import goal.tools.errorhandling.exceptions.GOALException;
import goal.tools.errorhandling.exceptions.GOALUserError;
import nl.tudelft.goal.SimpleIDE.EditManager;
import nl.tudelft.goal.SimpleIDE.IDEMainPanel;
import nl.tudelft.goal.SimpleIDE.IDEState;
import nl.tudelft.goal.SimpleIDE.IconFactory;

/**
 * Ask current editor to redo last edit action.
 *
 * @author W.Pasman 20jun2011
 */
public class RedoAction extends GOALAction {
	private static final long serialVersionUID = 3927227111851663900L;

	public RedoAction() {
		setIcon(IconFactory.REDO_TEXT.getIcon());
		setShortcut('Z', InputEvent.SHIFT_DOWN_MASK);
		setDescription("Redo last edit action");
	}

	@Override
	public void eventOccured(IDEState currentState, Object evt) {
		boolean isUserEditing = true;
		try {
			getIDE().getMainPanel().getCurrentPanel();
		} catch (GOALUserError e) {
			isUserEditing = false;
		}
		setActionEnabled(currentState.getViewMode() == IDEMainPanel.EDIT_VIEW && isUserEditing);
	}

	@Override
	protected void execute(TreeNode selectedNode, ActionEvent ae) throws GOALException {
		EditManager.getInstance().redo();
	}

}