boardGraph=null; backGraph=null; hasZoomed=true;  updateBoardSize();
updateBoard();
    private void zoom(){        checkZoomIndex();        scale = ZOOM_FACTORS[zoomIndex];        GUIPreferences.getInstance().setMapZoomIndex(zoomIndex);        hex_size = new Dimension((int)(HEX_W*scale), (int)(HEX_H*scale));        final Dimension size = getSize();        //Coords c = getCoordsAt(new Point((int)(size.width/2), (int)(size.height/2)));        boardGraph=null;        backGraph=null;        hasZoomed=true;        updateBoardSize();        view.setLocation(scroll);        view.setSize(getOptimalView(size));        offset.setLocation(getOptimalOffset(size));        updateFontSizes();        updateBoardImage();                update(this.getGraphics());    }