package pipe.actions.gui; import pipe.utilities.gui.GuiUtils; import java.awt.Toolkit; import java.awt.event.ActionEvent; import java.awt.event.KeyEvent; /** * Performs a zoom out of the Petri net canvas */ @SuppressWarnings("serial") public class ZoomOutAction extends GuiAction { /** * * @param zoomManager Pipe zoom manager */ public ZoomOutAction(ZoomManager zoomManager) { super("Zoom out", "Zoom out by 10% ", KeyEvent.VK_MINUS, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()); } /** * Performs the zoom out action * * This action has currently been disabled due to bugs in the zoom functionality so instead * it displays an error message * @param actionEvent event */ @Override public void actionPerformed(ActionEvent actionEvent) { GuiUtils.displayErrorMessage(null, "Zooming in/out is currently not supported in this version.\n Please file an issue if it is particularly important to you."); // if (zoomManager.canZoomOut()) { // zoomManager.zoomOut(); // } } }