すぐ使わないプラグインはあとから読み込む。 Lazy Plugin Loader プラグインを入れると起こる「起動が遅くなった問題」。 プラグイン、便利なんですけどね。 多くなると重くなる。 これは必然です。 そして必然に逆らうのも世の必然。 今回は下記プラグイン…

隅をドラッグすれば変更できるけど、デフォルトも変えたい。 Thino Thinoをホバーで使うと便利ですが、デフォルトサイズが小さい。 iPadの画面に合っていません。 もうちょっと広げてみます。 Copilotに尋ねる 最近はまずCopilotからヒントをもらい、それか…