[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" <drew.adams@oracle.com>
> Cc: <eenliu@gmail.com>, <14326@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.
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, (continued)
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, martin rudalics, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Eli Zaretskii, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Eli Zaretskii, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Eli Zaretskii, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Eli Zaretskii, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, martin rudalics, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font,
Eli Zaretskii <=
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/03
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Eli Zaretskii, 2013/05/04
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, martin rudalics, 2013/05/04
- bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font, Drew Adams, 2013/05/04