private void selectEditorImpl(Editor editor) {
tabListener.internalChange = true;
EditorCategory category = categoryModel.categorize(editor);
int index = switchToTab(category);
CardPanel cards = tabCards.get(index);
cards.show(editor.getId());
getEditorService().fireActiveEditorChanged();
updateEditorStates(editor);
tabListener.internalChange = false;
}