[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22000: Patch addressing the menu-bar frame-resize interaction
From: |
Eli Zaretskii |
Subject: |
bug#22000: Patch addressing the menu-bar frame-resize interaction |
Date: |
Thu, 18 Oct 2018 16:34:53 +0300 |
> Date: Thu, 18 Oct 2018 10:06:27 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: 22000@debbugs.gnu.org, David Engster <deng@randomsample.de>,
> "eliz@gnu.org" <eliz@gnu.org>
>
> > New patch series - I think this has all the features and functionality
> > discussed so far.
>
> Eli, I think this should go to the release branch. If it introduces any
> problems, we should find out soon enough - I think that most of our GTK
> users leave the menu bar on. But it is not just a cosmetic change.
Not a cosmetic change, indeed.
I realize that it fixes an annoying misfeature, but it does so by
introducing a significant new feature which requires quite a few code
lines. For a problem that AFAIU has been with us since time
immemoriam, I'm really uneasy with putting this on emacs-26. But I'm
fully prepared to hear arguments to the contrary.
Thanks.
- bug#22000: Patch addressing the menu-bar frame-resize interaction, (continued)
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Eli Zaretskii, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Eli Zaretskii, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Drew Adams, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Eli Zaretskii, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Drew Adams, 2018/10/20
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Eli Zaretskii, 2018/10/20
- bug#22000: Patch addressing the menu-bar frame-resize interaction,
Eli Zaretskii <=
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/10/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/10/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/23
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/10/23
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Robert Pluim, 2018/10/23