New answers tagged window-decorations
Well, from GNOME 3.10, most of GNOME core apps uses *header bars (read release notes), so they need GNOME's window manager Mutter in order to function. That's why on them apps, Mutter overrides Cinnamon's window manager (aka Muffin) - in your case GEdit using Mutter instead of Muffin, so it looks different from other applications. About the ...
Top 50 recent answers are included