I'm a bit confused by this comment. When would you need to call `EditorManager.resizeEditor()`? Isn't that automatically called whenever a panel is shown, hidden, or resized?