void (@NotNull EditorMouseEvent e) { myAlarm.cancelAllRequests(); if (e.getEditor().getUserData(DISABLED) != null) return; TooltipController.getInstance().cancelTooltip(FOLDING_TOOLTIP_GROUP, e.getMouseEvent(), true); }