Moving this into `PanelManager.triggerEditorResize()` sounds like a good idea. Did you try it? If everything seems to work, I'm inclined to take that change. If things _don't_ work, there should be a FUTURE comment added to move it (and make it work :-) )