/** Interface for receiving GraphicalBoard events. Note that the events    must first be enabled using setResizable() and setClickable().        @see GraphicalBoard*/public interface BoardListener {    /** Invoked after the user has dragged the board to a new size. The size        of a KnightBoard object cannot be changed, so the current board should        be dispensed with and a new one of the correct size created.        @param new_width new width of the board in squares.        @param new_height new height of the board in squares.        @see GraphicalBoard#setResizable    */        public void boardResized(int new_width, int new_height);        /** Invoked when the user clicks on a square inside the board.        @param squarex x-index of the selected square.        @param squarey y-index of the selected square.        @see GraphicalBoard#setClickable    */        public void boardClicked(int squarex, int squarey);}