松尾です。 テーマの設定はどうやればいいか考えているのですが、 どうも今試しに作っている themeブランチの その他の設定に新しいタブを作るのは良くない気がしてきました。 もう少し手元で試してみて、見ていただけるようなものにまとまったら 再度相談しようと思います。 themeブランチですが 少し置いておかせてください。 いままでの変更を利用するか破棄するか考えます。
Tera Term