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));
But in gnome 3.12, the whole shell is a binary file. Thus, I need to
recompile and reinstall the shell before the modifications taking effect.
This is really complex.
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
