見て時間を潰していました。記憶が曖昧なのですが、確かこういうのを見ていた気がします。https://www.youtube.com/watch?v=NXysez2vS4Qhttps://www.youtube.com/watch?v=FW2X1CXrU1whttps://www.youtube.com/watch?v=P9jB7mz2Ax4これらを見ているとどうもイマドキの設定には新しいプラグインがあると分かりました。設定をこれを気に新しくしようと思いちょっといじってみました。使っているので、そういう人が書いたものであることを差し引いた上で読んで欲しいです。設定において一番重視しているのはファイルの薄さなので、きっと設定は真似しない方が良いです。インストールしています。