tanwald/gnome-shell-extension-arrow-key-window-selector — Issue #6: Push to https://extensions.gnome.org/
Author: mcarrolle
Created: 2012-01-16 08:54:16+00:00
State: open

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