if (onOff && !pin) { view.resetLens();  }
if (onOff && !pin) view.resetLens();
    public void mouseReleased(MouseEvent e)    {         dragging = false;        if (onOff && !pin) {            view.resetLens();            //view.repaint();          }    }