/**
* Cycle through all databases, and make sure everything is updated with the new type
* customization. This includes making sure all entries have a valid type, that no obsolete entry
* editors are around, and that the right-click menus' change type menu is up-to-date.
*/
private void updateTypesForEntries(String typeName) {
if (frame.getTabbedPane().getTabCount() == 0) {
return;
}
for (int i = 0; i < frame.getTabbedPane().getTabCount(); i++) {
BasePanel bp = (BasePanel) frame.getTabbedPane().getComponentAt(i);
// Invalidate associated cached entry editor
bp.entryEditors.remove(typeName);
for (BibtexEntry entry : bp.database().getEntries()) {
entry.updateType();
}
}
}
