プロジェクト

全般

プロフィール

機能 #601

完了

タブのアイコンサイズを変更できるようにしたい

Satoshi Okuno さんが10年以上前に追加. 約2年前に更新.

ステータス:
却下
優先度:
通常
担当者:
-
対象バージョン:
開始日:
2013-07-21
期日:
進捗率:

0%

プラグイン名:
gtk

説明

おはようございます。

画面のピクセルは1ドットたりとも無駄にしたくない!
と言うピクセル難民(俺)の声にお答えすべく、タブのアイコンサイズを設定で小さく出来る様にしました。

逆に大きくも出来るので、来るタッチインターフェース時代にも対応可能かも知れません。

プラグインでも良いのですが、set_icon()に黒魔術(alias_method)を使わんと実現できないんで、
メインラインに入らないかなと思った次第です。


ファイル

0001-.patch (3.08 KB) 0001-.patch Satoshi Okuno, 2013-07-21 09:49

他の形式にエクスポート: Atom PDF