mikutter

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

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

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