void (ListUI ui) { if (ui != null && Registry.is("ide.wide.selection.list.ui", true)) { Class<? extends ListUI> type = ui.getClass(); if (type == BasicListUI.class) { ui = new WideSelectionListUI(); } } super.setUI(ui); }