update(this.getGraphics());
repaint();
    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();        updateBoard();        view.setLocation(scroll);        view.setSize(getOptimalView(size));        offset.setLocation(getOptimalOffset(size));        updateFontSizes();        updateBoardImage();        update(this.getGraphics());    }