その2

>>173,180-182
これは共通の問題なのですが、gkt側が気を利かせて勝手にリサイズ
してくれるようです。私は普段は最大化して使っているためあまり
気になっていなかったのですが、気になるようでしたら調べて直してみます。

>>176
フォントサイズの設定はgtkのフォント設定ダイアログ側の問題で、
確か変えられなかった様な気がします。

>>177
タブのフォントはテーマの方を変更して下さい。

>>178
量が多くて一気に全部実装するのは面倒であるため目に付いた物から
実装しています。実装してほしい参照が書いてあるレスのリンクを
ここに張っていただければ実装します。