>>487
現状そう

>>493
設定からの文字大きさと色替えはスレ閉じなくても反映されるし色書き出しは直接関係ない
テーマ編集で弄ってるテーマとワークスペースで実際に設定してるテーマが合ってるか確認してみ