removeLibrary((Library) event.getData());
}
} else if (action == LibraryEvent.ADD_TOOL) {
Tool tool = (Tool) event.getData();
AttributeSet attrs = tool.getAttributeSet();
if (attrs != null) attrs.addAttributeListener(this);
} else if (action == LibraryEvent.REMOVE_TOOL) {
Tool tool = (Tool) event.getData();
AttributeSet attrs = tool.getAttributeSet();
if (attrs != null) attrs.removeAttributeListener(this);
}