void (final NamedConfigurable configurable) { if (configurable instanceof ModuleConfigurable moduleConfigurable) { final ModuleEditor editor = moduleConfigurable.getModuleEditor(); if (editor != null) { //already deleted editor.init(myHistory); } } if (configurable instanceof FacetConfigurable facetConfigurable) { facetConfigurable.getEditor().onFacetSelected(); } }