/**
* This method initializes gameCanvas
*
* @return edu.wpi.sudoku.gui.GameCanvas
*/
private GameCanvas getGameCanvas() {
if (gameCanvas == null) {
gameCanvas = new GameCanvas(width, optionFinder, digitSelection);
gameCanvas.setSize(200, 200);
gameCanvas.setPreferredSize(new java.awt.Dimension(290, 290));
}
return gameCanvas;
}
/** Called whenever desire redraw of inner board. */
public void refreshView() {
gameCanvas.repaint();
// historyPanel.updateDisplay();
}