gnome tweak tool 3.0.4 extension

http://git.gnome.org/browse/gnome-tweak-tool
予告通り、3.0.4 でGNOME Shell Extensions の拡張の管理ができるようになっていた。
ON/OFF を切り替えると、再起動を促すボタンが表示されるので便利。