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
