package pipe.actions.gui; import pipe.controllers.application.PipeApplicationController; import pipe.gui.Grid; import pipe.gui.PetriNetTab; import java.awt.event.ActionEvent; import java.awt.event.InputEvent; import java.awt.event.KeyEvent; public class GridAction extends GuiAction { private final PipeApplicationController applicationController; public GridAction(PipeApplicationController applicationController) { super("Cycle grid", "Change the grid size (alt-G)", KeyEvent.VK_G, InputEvent.ALT_DOWN_MASK); this.applicationController = applicationController; } @Override public void actionPerformed(ActionEvent e) { PetriNetTab petriNetTab = applicationController.getActiveTab(); Grid grid = petriNetTab.getGrid(); grid.increment(); petriNetTab.repaint(); } }