((Graphics2D) g).setRenderingHint(
RenderingHints.KEY_TEXT_ANTIALIASING,
RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
if (apply_strategies) {
CompoundCommand c = grid.applyStrategies();
if (!undoStack.isEmpty()) {
Command last_edge_action = undoStack.pop();
last_edge_action.undo();
c.add(last_edge_action);
}
c.execute();
undoStack.add(c);
}
textArea.setText(grid.toString());
errorLabel.setText(grid.checkGrid());