On Wed, 07 Sep 2011 18:14:03 +0200, JB (Joachim) wrote:
> I installed all available gnome-shell extensions:
[...]
> But actually, gnome-tweak-tool shows no extensions in the submenu "Shell
> extensions".
>
> Anybody sees this too?
No, a few I installed have been listed in there. ButI haven't t
I installed all available gnome-shell extensions:
gnome-shell-extension-auto-move-windows-3.1.4-3.20110830git6b5e3a3e.fc16.noarch
gnome-shell-extension-pomodoro-0-0.2.git13030cd.fc16.noarch
gnome-shell-extension-alternate-tab-3.1.4-3.20110830git6b5e3a3e.fc16.noarch
gnome-shell-extension-remove-vol
