void (final MouseEvent e) { myScrollingTimer.stop(); EditorMouseEvent event = new EditorMouseEvent(this, e, getMouseEventArea(e)); EditorMouseListener[] listeners = myMouseListeners.toArray(new EditorMouseListener[myMouseListeners.size()]); for (int i = 0; i < listeners.length; i++) { listeners[i].mouseReleased(event); if (event.isConsumed()) { e.consume(); return; } } if (myCommandProcessor != null) { Runnable runnable = new Runnable() { public void run() { processMouseReleased(e); } }; myCommandProcessor.executeCommand(myProject, runnable, "", null); } else { processMouseReleased(e); } }