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

["Boyce, Kevin P [US] (AS)" <Kevin Boyce ngc com>]

Thanks.

-----Original Message-----
From: Florian Müllner <fmuellner gnome org> 
Sent: Monday, October 07, 2019 11:33 AM
To: Boyce, Kevin P [US] (AS) <Kevin Boyce ngc com>
Cc: gnome-shell-extensions-list gnome org
Subject: Re: EXT :Re: [gnome-shell-ext] Window Controls Extension

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