sheetBoards[i].load( name + ".board"); sheetBoards[i].flip( isRotated, isRotated );
if (name.startsWith(MapSettings.BOARD_GENERATED)) { sheetBoards[i].generateRandom(mapSettings); } else { sheetBoards[i].load( name + ".board"); sheetBoards[i].flip( isRotated, isRotated ); }
    public void applyBoardSettings() {        mapSettings.replaceBoardWithRandom(MapSettings.BOARD_RANDOM);        mapSettings.replaceBoardWithRandom(MapSettings.BOARD_SURPRISE);        Board[] sheetBoards = new Board[mapSettings.getMapWidth() * mapSettings.getMapHeight()];        for (int i = 0; i < mapSettings.getMapWidth() * mapSettings.getMapHeight(); i++) {            sheetBoards[i] = new Board();            String name = (String)mapSettings.getBoardsSelectedVector().elementAt(i);            boolean isRotated = false;            if ( name.startsWith( Board.BOARD_REQUEST_ROTATION ) ) {                isRotated = true;                name = name.substring( Board.BOARD_REQUEST_ROTATION.length() );            }            sheetBoards[i].load( name + ".board");            sheetBoards[i].flip( isRotated, isRotated );        }        game.board.combine(mapSettings.getBoardWidth(), mapSettings.getBoardHeight(),        mapSettings.getMapWidth(), mapSettings.getMapHeight(), sheetBoards);    }