canvas.resetLens(); canvas.repaint();
canvas.getManager().resetDefault(false);
    private void onClosing()    {        //control.setMagFactor(curZoomLevel);        canvas.resetLens();        canvas.repaint();        view.dispose();    }