void (PropertyChangeEvent evt) { if (Objects.equals(evt.getPropertyName(), "text") || Objects.equals(evt.getPropertyName(), "font")) { ToolbarComboWidget widget = (ToolbarComboWidget)evt.getSource(); tryUpdateHtmlRenderer(widget, widget.getText()); } if ("pressListenersCount".equals(evt.getPropertyName())) { ToolbarComboWidget widget = (ToolbarComboWidget)evt.getSource(); Insets insets = isSeparatorShown(widget) ? JBUI.CurrentTheme.MainToolbar.SplitDropdown.borderInsets() : JBUI.CurrentTheme.MainToolbar.Dropdown.borderInsets(); JBEmptyBorder border = JBUI.Borders.empty(insets.top, insets.left, insets.bottom, insets.right); widget.setBorder(border); } }