}
} else { isScrolling = false; };
    public void mousePressed(MouseEvent me) {        scrolled = false; // not scrolled yet        if ( null == me.getPoint() ) {            return;        }        oldMousePosition = me.getPoint();        isTipPossible = false;        for (int i = 0; i < displayables.size(); i++) {            Displayable disp = (Displayable) displayables.elementAt(i);            if (disp.isHit(me.getPoint(), backSize)) {                return;            }        }        // Disable scrolling when ctrl or alt is held down, since this        //  means the user wants to use the LOS/ruler tools.        int mask = InputEvent.CTRL_MASK | InputEvent.ALT_MASK;        if ( !Settings.rightDragScroll &&            game.getPhase() == Game.PHASE_FIRING ) {            // In the firing phase, also disable scrolling if            // the right or middle buttons are clicked, since            // this means the user wants to activate the            // popup menu or ruler tool.            mask |= InputEvent.BUTTON2_MASK | InputEvent.BUTTON3_MASK;        }        // disable auto--edge-scrolling if no option set        if ( !Settings.autoEdgeScroll ) {            mask |= InputEvent.BUTTON1_MASK;        };        // disable edge-scrolling if no option set        if ( !Settings.clickEdgeScroll ) {            mask |= InputEvent.BUTTON3_MASK;        };                if ( (me.getModifiers() & mask ) == 0 ) {            isScrolling = true; //activate scrolling        }        if (isTipShowing()) {            hideTooltip();        }        game.board.mouseAction(getCoordsAt(me.getPoint()), Board.BOARD_HEX_DRAG, me.getModifiers());    }