mainController_ = (TwoPlayerController)gce.getController();
motionListener_.setMainController(mainController_);
gameTreeButtons_.setMainController(mainController_);
// it is possible that the size of the game has changed since the game tree controller
// was initialized. Make sure that it is synched up.
Board mainBoard = (Board)mainController_.getBoard();
Board board = (Board)controller_.getBoard();
if ( mainBoard.getNumRows() != board.getNumRows() || mainBoard.getNumCols() != board.getNumCols() ) {
board.setSize( mainBoard.getNumRows(), mainBoard.getNumCols() );
}
// can't do it if we are in the middle of searching
if (mainController_.isProcessing()) {
return;