void (MouseEvent e) { validateMousePointer(e); runMouseDraggedCommand(e); EditorMouseEvent event = new EditorMouseEvent(EditorImpl.this, e, getMouseEventArea(e)); if (event.getArea() == EditorMouseEventArea.LINE_MARKERS_AREA) { myGutterComponent.mouseDragged(e); } EditorMouseMotionListener[] listeners = myMouseMotionListeners.toArray( new EditorMouseMotionListener[myMouseMotionListeners.size()]); for (int i = 0; i < listeners.length; i++) { listeners[i].mouseDragged(event); } }