プロジェクト

全般

プロフィール

機能 #601

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

Satoshi Okunoほぼ4年前に追加. 約3年前に更新.

ステータス:
パッチ適用待
優先度:
通常
担当者:
-
対象バージョン:
開始日:
2013-07-21
期日:
進捗率:

0%

プラグイン名:
gtk

説明

おはようございます。

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

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

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

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

履歴

#1 Satoshi Okunoほぼ4年前に更新

添付忘れてました。
developに対するformat-patchです。

#2 toshi_a 初音3年以上前に更新

  • プラグイン名gtk にセット

動機は理解できるのですが、こういった、需要の高くない(これも直感でしか無く至極曖昧なのですが)設定項目を増やしていくと、設定のGUIがどんどんわかりづらくなっていってしまうので、慎重になっています。

ただ、現在の16pxという大きさには何の根拠もなく、また普遍的に良い値というのも存在しないと思っていて、可変にすること自体には反対ではありません。
UserConfigを使いながらGUIを持たない設定にするという選択肢もあって、現在ではアイコンのキャッシュ時間などがそうなっています。こうするとそもそもユーザにはそういう設定があるという事自体わからず、Windowsのレジストリの一部の値のような、知る人ぞ知るものになってしまうというデメリットもあるのですが。

#3 toshi_a 初音約3年前に更新

  • 対象バージョン3.0.0 から 3.1.0 に変更

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