[Top][All Lists]

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

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

From: Eli Zaretskii
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" <address@hidden>
> Cc: <address@hidden>, <address@hidden>
> 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

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.

reply via email to

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