bug#14233: 24.3; Don't constrain frame size to character multiples

[Jan Djärv]

Hello.

24 apr 2013 kl. 20:50 skrev Stefan Monnier <monnier@iro.umontreal.ca>:

>> Could be, but if we want to change that, we need to come up with some
>> useful idea of how to deal with a situation where you have the fringe
>> between the display margins and the rest of the text area.  Surely, in
>> this case you must include the display margins in the window
>> dimensions, but OTOH the fringes separate the window into 2 disjoint
>> areas.
> 
> FWIW, I haven't followed all the details of this discussion, but it
> seems to be about "how do we adjust the size of the frame when some
> display elements are added/removed".  If so, then one answer is "never
> adjust it".  Of course with frames measured in "lines × columns" this
> comes with its own set of problems, but if we switch to measuring frames
> in pixels, the problem should hopefully become simpler.

I don't see how.  The problem is what to do with leftover pixels when the 
removed element isn't a multiple of the character size.  Measuring the frame in 
pixels does not help when removing, for example, a tool bar that is 1.5 
character high.  It is the same problem, what to do with 0.5 character height.  
Now if windows are measured in pixels, we can give those pixels to windows, but 
frames measured in pixels does not help.

        Jan D.