protected class IconChangeListener implements PropertyChangeListener {
public void propertyChange(PropertyChangeEvent evt) {
ToolWindowDescriptor descriptor = (ToolWindowDescriptor) evt.getSource();
descriptor.propertyChange(evt);
getBar(descriptor.getToolWindow().getAnchor()).propertyChange(evt);
}
}
protected class NumberingEnabledChangeListener implements PropertyChangeListener {