Re: how to disconnect a signal handler in windowManager except using disconnect
- From: Amy <mathematical coffee gmail com>
- To: zhh zhou <zhouzhh217 gmail com>
- Cc: "gnome-shell-list gnome org" <gnome-shell-list gnome org>
- Subject: Re: how to disconnect a signal handler in windowManager except using disconnect
- Date: Mon, 24 Feb 2014 09:23:20 +1000
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.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]