* panel which allows changing board specific properties.
*/
@Override
protected GridBoardParamPanel createBoardParamPanel() {
IRectangularBoard b = (IRectangularBoard) board_;
return new GridBoardParamPanel(b.getNumRows(), b.getNumCols(), createCustomBoardConfigPanel());
}