void (@NotNull EditorMouseEvent e) { if (e.getArea() != EditorMouseEventArea.EDITING_AREA) return; checkPaneSelection(redispatchEvent(e, MouseEvent.MOUSE_DRAGGED, myDragPane)); if (myDragPane != null) e.consume(); }