hi,
I'm using gnome shell 3.4.2.1 from the stable debian repository. 2 problems with the gnome-tweak-tool:
1) The extensions list is empty, even when the gnome-shell-extensions package is installed
2) in the non-classic mode only, setting made in the tool have no effect: e.g. Shell->Show date in clock does not toggle the date in the clock.
Am I missing something?
Note, the following suggestions don't work:
- http://askubuntu.com/questions/71181/gn ... extensions
- http://ubuntuforums.org/showthread.php?t=1879794&page=2 (I am not in fallback mode)
- http://askubuntu.com/questions/71181/gn ... extensions
thanks.
Scheduled Maintenance: We are aware of an issue with Google, AOL, and Yahoo services as email providers which are blocking new registrations. We are trying to fix the issue and we have several internal and external support tickets in process to resolve the issue. Please see: viewtopic.php?t=158230