Closed mcarrolle closed 10 years ago
This is going to be a native feature in one of the next releases of GNOME Shell (maybe 3.4?). I think it's not worth pushing it anymore. https://live.gnome.org/EveryDetailMatters
Ok, great.
Thanks.
GNOME 3.4 has been released and as you can see on the Every Detail Matters page, the issue still hasn't been fixed. I think you should consider the push to extensions.gnome.org at least until the upstream bug (https://bugzilla.gnome.org/show_bug.cgi?id=644306) has been resolved.
For reference, to get this (excellent) extension working in 3.4 and maybe 3.6? -Edit the version ID in metadata.json. -Change "Shell.get_event_state" to "event.get_state" in extension.js
@tanwald
Thanks for creating this. It's definitely needed in Gnome Shell, but it seems like it's never actually going to get implemented. In the bug link that you mention, this matter was raised in March 2011. Two years later and nothing has changed... It certainly would be great if you could add this feature to the official extensions website.
I'm sorry, at the moment I'm too busy. I've provided a patch but never got a reaction. I do not even know, if the extension works with the current gnome-shell. Everybody is invited to fork it and push it to the official website. Would be nice, if you mentioned me somewhere.
On Mar 8, 2013, at 0:16 , Chainy notifications@github.com wrote:
@tanwald
Thanks for creating this. It's definitely needed in Gnome Shell, but it seems like it's never actually going to get implemented. In the bug link that you mention, this matter was raised in March 2011. Two years later and nothing has changed... It certainly would be great if you could add this feature to the official extensions website.
— Reply to this email directly or view it on GitHub.
Waiting for review...
Hello,
Great job. This extension is what I need. I don't understand why it's not a native feature of gnome-shell.
Can you push your extension to https://extensions.gnome.org/ ?
It's more easy to manage extension with this website.
Thnaks