Hi Martin,
Since, as you discovered, tableView doesn’t support basic resizing via .width/.height, you might want to apply a custom mask to the widget (on top of it’s self-masked size) and then, on orientation change, remove the current mask and apply another mask of the appropriate size for that orientation. Unfortunately, this still isn’t “ideal” because the tableView would still be in its original size underneath the smaller mask (whichever orientation would use the smaller mask), so it wouldn’t behave as expected with top and bottom limits on scrolling.
A better option may be to simply remove the tableView each time and recreate it in the desired size, but before doing so, gather the Y position the user was currently at, so you can then auto-jump to that same Y position in the new one.
Hope this helps,
Brent