GNOME Shell@Ubuntu12.10でインストールしているExtension

LinuxMintを使っていたんだけどライブアップデートに対応していない(ような)ので、リリース毎にインストールするのも面倒だなーと思い、Ubuntuに戻った。

戻ったはいいんだけど相変わらずUnityは好きになれないので、GNOME Shellを入れた。

デフォルトのGNOME ShellはAlt+Tabを中心に使いづらさが残るので、そのあたりはExtensionで対応。

以下、インストールしたExtension。

トップパネルのユニバーサルアクセスのアイコンを削除してくれる。それだけなのだけれども使わないアイコンは極力消したいので...。

デフォルトのAlt+Tabは、例えば端末を複数開いているとグルーピングしてひとつにまとめてしまう。マウスOR十字キーで選択しなければならないのでかなりやっかい。そのあたりを解消してくれるのがこれ。

設定で「サムネイル」「アイコン」「サムネイル＆アイコン」が選べる。自分はシンプルに「アイコン」表示。

トップパネルの色やら文字やらの見栄えをカスタマイズできる。なくても困らないかな...。

GNOME Shellはデスクトップの左上にマウスを持っていくと「アクティビティ・オーバービュー」を表示してくれるんだけど、これをdisableにしてくれる。自分はWindowsキー押したときだけ反応してくれればいいので結構重宝している。

デフォルトの状態だろSkypeやDropboxのアイコンが普段は見えないボトムパネル(?)に表示されてしまうのだけれども、これらのアイコンをトップパネルに表示してくれる。これが一番重宝している。

以上、チラ裏でした。

適当な思いつきで書くブログ