Re: set-frame-size should respect line-spacing!?

[martin rudalics <rudalics@gmx.at>]

 >> Sorry for my insistence but 'window-resize' has nothing to do with the
 >> frame size.
 >
 > But this discussion was about set-frame-size, at least that's what I
 > thought.

The 'set-frame-size' problem is inherently related to Bug#14825: Both
are about how to take line spacing and face remapping into account
when resizing windows.  Just that the former affects the frame size as
well.

 >> My concerns are that we call 'window--size-to-pixel' when
 >> we resize or split a window.  So if we want to special-code the split
 >> window case and _not_ the 'window-resize' case, I have to either
 >> special-code 'window--size-to-pixel' too or call some other function
 >> instead.
 >
 > What is the window-resize case?

That of how it should handle line spacing and face remapping when
resizing a window.  For example, how should we relate the desired
height of a window to the value of 'window-min-height' when these are
in effect?  We cannot leave this question unanswered when we allow
'split-window' to make a window smaller than 'window-min-height'
because face remapping has made a window's default face font smaller.

martin