void () { if (myGroup.ui != null) { myPanel.removeGroup(myGroup); fullRepaint(); } myGroup = new PluginsGroup(IdeBundle.message("title.search.results"), isMarketplace ? PluginsGroupType.SEARCH : PluginsGroupType.SEARCH_INSTALLED); }