void (@NotNull EditorMouseEvent event) { if (event.getArea() == EditorMouseEventArea.EDITING_AREA && myCustomizer != null) { String customization = myCustomizer.getCustomizationAt(myEditor, event.getMouseEvent().getPoint()); if (customization != null) { myDispatcher.getMulticaster().selectionInPreviewChanged(customization); } } }