I'm pretty sure the only way to override a signal when the gnome-shell code
does not save the signal ID (which they actually enforce extensions to do!)
is to do as you have mentioned, i.e. patch WindowManager.
On 21 February 2014 22:56, zhh zhou <zhouzhh...@gmail.com> wrote:
> Hello, I want to write a gnome-shell extension to add some eye candy
> effects while minimizing, maximizing and closing a window for current
> window manager. So I have to disconnect the default signal handler, such as
> minimize signal handler. However, the wm object only has disconnect
> function which needs a signal handler ID as parameter and the ID is not
> saved in windowManager.js. So if I want to disconnect it, I have to modify
> the windowManager.js like this:
>
> this._minHandlerID = this._shellwm.connect('minimize', Lang.bind(this,
> this._minimizeWindow));
>
> Can anyone have a idea that does not need to modify windowManager.js ?
> Thanks very much~
>
> _______________________________________________
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>
>
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
