[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jan Djärv
Subject: bug#14233: 24.3; Don't constrain frame size to character multiples
Date: Wed, 24 Apr 2013 22:09:00 +0200


24 apr 2013 kl. 20:50 skrev Stefan Monnier <address@hidden>:

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]