if (scrolled)
if (scrolled && ((me.getModifiers() & InputEvent.BUTTON1_MASK) == 0 || !GUIPreferences.getInstance().getAutoEdgeScroll()))
    public void mouseReleased(MouseEvent me) {        isTipPossible = true;        oldMousePosition = mousePos;        for (int i = 0; i < displayables.size(); i++) {            Displayable disp = (Displayable) displayables.elementAt(i);            if (disp.isReleased()) {                return;            }        }        isScrolling = false;        // no click action triggered if click was for scrolling the map. Real clicks are without scrolling.        if (scrolled)            return;        if (me.getClickCount() == 1) {            mouseAction(getCoordsAt(me.getPoint()), BOARD_HEX_CLICK, me.getModifiers());        } else {            mouseAction(getCoordsAt(me.getPoint()), BOARD_HEX_DOUBLECLICK, me.getModifiers());        }    }