06/02/24 21:23:36 aF8J3uso
>>284
再起動で直るのは承知なのですが、自分の使い方として端末をいくつも開いて
接続先/アカウント別で色設定を変える(この端末はrootで作業に入って危険だから背景赤、とか)
というのが多いので、いちいち再起動はまたしんどいのです。
ついでにタブ化もタブモードだけになるとあんまり嬉しくないです。
>>290
当然作者様も把握済みの現象ですね。
気がついたのですが、色を変えた設定のINIを保存しておいてそれを読み込ませると
綺麗に色が変わってくれます。(今のところはこれで対応できそうです。)
ウィンドウ設定のダイアログを終了したところでINIファイル読んだふり処理をする
というのはどうでしょう？行き当たりばったりすぎるかな。