GNU bug report logs -
#14233
24.3; Don't constrain frame size to character multiples
Previous Next
Reported by: E Sabof <esabof <at> gmail.com>
Date: Sat, 20 Apr 2013 00:04:02 UTC
Severity: wishlist
Found in version 24.3
Done: martin rudalics <rudalics <at> gmx.at>
Bug is archived. No further changes may be made.
Full log
Message #212 received at 14233 <at> debbugs.gnu.org (full text, mbox):
Hello.
24 apr 2013 kl. 20:50 skrev Stefan Monnier <monnier <at> 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.
This bug report was last modified 10 years and 154 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.