Fedora15 gnome-shell extensionで遊ぶ

(2011/10/15 追記)

不便だったのでいろいろ調整した。

extensionのダウンロード元
http://www.fpmurphy.com/gnome-shell-extensions/
それぞれtar.gzを展開してから
~/.local/share/gnome-shell/extensions
に放り込む。

1. [アクティビティ]→Fedoraアイコン
activitiesbutton.tar.gz
そのままだと文字が残るので、extension.jsを編集して
box.add_actor(label);
の行をコメントアウト。

2.アクティビティの横にランチャ
フォールバックでは置けるのに。
panellaunchers.tar.gz

で、この２つを入れて感じたのは「アイコンが小さい」。
これも改造して大きく(32pxに)してみた。
そのままだとパネルからはみ出て残念なのでテーマ側も改造。
panellaunchersはconst PANEL_ICON_SIZE = 20;と決め打ちされているので、32に変更するだけ。
activitiesbuttonの方はよくわからない場所を参照(hotCornerButton.height)しているので、面倒になって32px決め打ち。
最後にテーマ、ユーザーローカルのインストール場所がよくわからんかったのでシステムグローバルに。
/usr/share/themesのGaia(現在使用中のgnome-shellテーマ)をコピー、
gnome-shell.cssの#panelブロックにあるheightをこれまた32pxで決め打ち。
最後にtheme.jsonを編集して、gnome-shell-extension-theme-selectorを入れるとアクティビティに出てくるthemesタブから切り替え。
32pxはやりすぎたかも。もう少し小さめでも良かった。

(2011/10/15追記部分)
alt-tabがプログラム毎で操作しにくかったので
gnome-shell-extension-alternate-tab
をインストールしてウインドウ毎にした。