そういや folding をいつの間にか使っていたんだけどこれかなり便利というかいまじゃないと耐えられないものになってきているというか。何が便利って適切な範囲で fold を作ると見るべき場所だけ表示できるようになるってのと scroll 量が圧倒的に小さくなる…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。