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

[martin rudalics]

>> 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