GNU bug report logs - #14326
24.3; Conflict of w32-send-sys-command and set-default-font

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: rudalics <at> gmx.at, 14326 <at> debbugs.gnu.org, eenliu <at> gmail.com
Subject: bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font
Date: Fri, 03 May 2013 23:18:09 +0300

> From: "Drew Adams" <drew.adams <at> oracle.com>
> Cc: <eenliu <at> gmail.com>, <14326 <at> debbugs.gnu.org>
> Date: Fri, 3 May 2013 13:06:04 -0700
> 
> > For example, increasing the font size should not make a 
> > maximized frame larger than the screen.  We're kidding users
> > with such behavior.
> 
> 1. Your argument here applies to any size increase beyond the screen size, not
> just doing that via `set-frame-font'.  So it is irrelevant as an argument why
> resizing via `set-frame-font' should be an exception.

It _is_ relevant, because Martin's argument applies not only to
increasing maximized frames, but also to decreasing their size as
well, as side effect of any change except an explicit change in frame
dimensions.

IOW, when the frame is maximized, only explicitly changing its height
or width, or explicitly un-maximizing it, should ever affect the
frame's size.  Any other changes, such as font change or
adding/removing scroll bars or fringes -- should leave the frame at
the same pixel dimensions, i.e. still maximized.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.