[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: |
Drew Adams |
Subject: |
bug#14326: 24.3; Conflict of w32-send-sys-command and set-default-font |
Date: |
Fri, 3 May 2013 13:06:04 -0700 |
> > What Martin is arguing (I think) was that
> > in a maximized frame, set-default-font should alway behave
> > as if its 2nd argument were non-nil.
>
> Yes. 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.
2. See what I said previously about uses of frames larger than the the screen.
- 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, 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 <=
- 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/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