On 15/04/14 03:51 PM, Ralf Mardorf wrote: > Hi, > > do I miss options for the preferences or doesn't gedit provide a menu > bar and window buttons anymore? A menu bar might be something to argue, > since it's part of the app, but the window buttons are provided by the > window manager I decided to use. Will this happen to other editors, such > as pluma and other apps too? Disgusting! > > Doers it make sense to send a veto to upstream or is it wanted by most > users? > > Regards, > Ralf The GTK header bar widget replaces the title bar. It's possible to enable the minimize/maximize buttons for it, and it does respect whatever theme you're using. It's intended to save vertical space by making a separate menu/toolbar unnecessary. There are some window managers not implementing EWMH properly (Xfce's window manager) and you will get a redundant title bar on top of the header bar. You can blame Chromium/Chrome and Firefox for making this popular. I happen to think it's a good idea, although as a user of i3 it has little to no impact on me.
Attachment:
signature.asc
Description: OpenPGP digital signature
