I have a tabbed-pane LuaGuiElement that I've inserted directly onto player.gui.screen, and I'd like the height of the tabbed-pane to depend on the height of the contents of the currently open tab.
This doesn't happen automatically, and I don't see any modding interface for it.