if (view.getLens() != null) { view.resetLens(); view.repaint(); }
if (view.getLens() != null) drawLens(anchor);
    public void setMagFactorLens(double f)    {        magFactorLens = f;        if (view.getLens() != null) {            view.resetLens();            view.repaint();        }    }