これ、glと入力するとラベル名を入れるダイアログが出て、ジャンプできるやつなんだけど、いい感じ。キーボード派な人は有効にしておいて損はないと思う。自動補完機能付きだし。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。