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

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

Florian,

Yeah based on the bug report it does not look promising that anyone would accept a patch.

Do you know if it is possible to decouple mutter from gnome-shell so I can run a Window manager that supports 
this behavior like xfwm4 or mwm?

Kevin

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

Florian,

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?

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

Kind Regards,
Kevin

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

On Mon, Oct 7, 2019 at 2:25 PM Boyce, Kevin P [US] (AS) <Kevin Boyce ngc com> wrote:
> 1)      Is it possible to change the behavior of the window menu (with an extension) so that a double click 
> on said menu button closes the window?  This behavior would make gnome-shell  consistent with xfwm4, mwm, 
> and believe it or not, MS Windows.

No. While the window *menu* is handled by gnome-shell (and thus can be modified by extensions), all the 
titlebar *buttons* are either implemented by mutter (X11 windows with non-custom decorations) or the 
application/toolkit (all wayland windows, X11 windows with custom decorations).


> 2)      Is it possible to create and add a totally new menu to all titlebars using an extension?

No, for the same reason.

Cheers,
Florian
_______________________________________________
gnome-shell-extensions-list mailing list gnome-shell-extensions-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-shell-extensions-list