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