scroll.x -= Settings.scrollSensitivity * (mousePos.x - oldMousePosition.x); scroll.y -= Settings.scrollSensitivity * (mousePos.y - oldMousePosition.y);
scroll.x -= Settings.getScrollSensitivity() * (mousePos.x - oldMousePosition.x); scroll.y -= Settings.getScrollSensitivity() * (mousePos.y - oldMousePosition.y);
    public boolean doScroll() {        final Point oldScroll = new Point(scroll);        boolean s = false;                if ( isScrolling && Settings.rightDragScroll) {            if (! (oldMousePosition == null || mousePos.equals(oldMousePosition)) ) {                scroll.x -= Settings.scrollSensitivity * (mousePos.x - oldMousePosition.x);                scroll.y -= Settings.scrollSensitivity * (mousePos.y - oldMousePosition.y);                checkScrollBounds();                oldMousePosition.setLocation(mousePos);                s = !oldScroll.equals(scroll);                scrolled = scrolled || s;            };        };        if (isScrolling && (Settings.clickEdgeScroll || Settings.autoEdgeScroll) ) {            final int sf = Settings.scrollSensitivity; // scroll factor            // adjust x scroll            // scroll when the mouse is at the edges            if (mousePos.x < 100) {                scroll.x -= (100 - mousePos.x) / sf;            } else if (mousePos.x > (backSize.width - 100)) {                scroll.x -= ((backSize.width - 100) - mousePos.x) / sf;            }            // scroll when the mouse is at the edges            if (mousePos.y < 100) {                scroll.y -= (100 - mousePos.y) / sf;            } else if (mousePos.y > (backSize.height - 100)) {                scroll.y -= ((backSize.height - 100) - mousePos.y) / sf;            }            checkScrollBounds();            if (!oldScroll.equals(scroll)) {                //            repaint();                s = true;                scrolled = s;            }        }        return s;    }