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