Re: [gnome-shell-ext] EXT :Re: Window Controls Extension

[Florian Müllner <fmuellner gnome org>]

On Mon, Oct 7, 2019 at 4:45 PM Boyce, Kevin P [US] (AS)
<Kevin Boyce ngc com> wrote:
> Thanks for your reply.  So my understanding is that in order to implement this behavior the source code for 
> mutter would need to be modified?

Yes, and GTK as well for consistency between server-side (mutter) and
client-side (GTK, Qt, ...) decorations.


> Is it reasonable to expect the mutter folks would accept a patch if I were to implement this behavior?

The behavior was rejected 17 years ago:
https://bugzilla.gnome.org/show_bug.cgi?id=83892

(mutter is a fork of metacity, the default GNOME 2 window manager)

That is, providing a patch isn't enough, you'll also need very good
reasoning for reverting that decision.

Cheers,
Florian