Did we already settle on a "right" way to do this? Robert expressed the
desire to keep the number of text lines invariant. ISTR others wanted
the size of the frame on the screen stay invariant. At least a similar
issue was recently brought up for menubars. Finally, I'm interested how
changes of menu-bar-lines/tool-bar-lines are supposed to be applied and
handled - I'm quite lost in this context.
I don't think we did. But frame size can't in general stay constant as
we have wm hints. For example, I have 13 pixels of text height.
That gives min resize 13. The tool bar is 36 pixels. So when the
tool bar goes, either we increase text size by 3 (== 39, 3
additional pixels) or by 2 (26, decrease by 10 pixels).
I'll implement whatever seems easiest, and then people can suggest
alternatives after that.