If the `EditorTab` class has an abstract method `resize()`, there won't be a need to do instanceof checks and casts here.