ホーム > GNU/Linux > Fedora15 gnome-shell extensionで遊ぶ

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

で、この2つを入れて感じたのは「アイコンが小さい」。
これも改造して大きく(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
をインストールしてウインドウ毎にした。

広告
カテゴリー:GNU/Linux
  1. まだコメントはありません。
  1. No trackbacks yet.

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト / 変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト / 変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト / 変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト / 変更 )

%s と連携中

%d人のブロガーが「いいね」をつけました。