I don't think the line "label = file.name" is required since EditorTab() constructor already does it.