Re: Shrinking frames as of past month

[Michael Olson <mwolson@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1087 bytes --]

Jan Djärv <jan.h.d@swipnet.se> writes:

> It seems it is a bug in Gtk+,
> http://bugzilla.gnome.org/show_bug.cgi?id=68668
> (http://bugzilla.gnome.org/show_bug.cgi?id=137822 explains it a bit
> better).
>
> Basically because the menu bar is too large for the frame, Gtk+ sets a
> base width that isn't a multiple of the width increment.  This makes
> the window manager shrink the text area (by 2 pixels in my case) so
> that framw width - base width is a multiple of the width increment.
> Then when leaving dired, we get a correct base width again.  But the 2
> pixels aren't put back, rather the window manager shrinks even more to
> get the frame to be a multiple of the width increment.

That sounds plausible.  I updated the rest of my system today, and the
problem went away, so it seems to have been the fault of GTK.

-- 
|       Michael Olson  |  FSF Associate Member #652     |
| http://mwolson.org/  |  Hobbies: Lisp, HCoop          |
| Projects: Emacs, Muse, ERC, EMMS, ErBot, DVC, Planner |
`-------------------------------------------------------'

[-- Attachment #2: Type: application/pgp-signature, Size: 188 bytes --]