void (MouseEvent e) { super.processMouseEvent(e); if (e.isConsumed()) { return; } double scale = myScale.getIdeBiased(); myBrowser.sendMouseEvent(new MouseEvent( e.getComponent(), e.getID(), e.getWhen(), e.getModifiersEx(), ROUND.round(e.getX() / scale), ROUND.round(e.getY() / scale), ROUND.round(e.getXOnScreen() / scale), ROUND.round(e.getYOnScreen() / scale), e.getClickCount(), e.isPopupTrigger(), e.getButton())); if (e.getID() == MouseEvent.MOUSE_PRESSED) { requestFocusInWindow(); } }