VSCode の続き

お昼に首里でラーメン食べた時に替え玉したら夕方まで祟りました。おっとっと。ラーメン自体はうまかったです。

結局、Agda は Market place から access できる Agda mode で「Vim の insert mode で C-C C-L」するで良いらしい。

Emacs での→とかの入力方法も使える。

ま、おっさんなのでTile baseのごちゃごちゃいろいろついてるのはなあ。InteliJ で慣れてるつもりなんだけど、

　　便利なはずの機能はAgdaでは、ほぼ意味なし。予測入力くらいか。

mini map もそうだけど、版管理の変更部分を左右に表示するとか、cursol上のwordを全部 hilight するとか馴染めないです...

行番号も消したい派だからなぁ。気が散る感じ。

Search も否定条件をいれようと思うと、正規表現のうんたらを使う必要があるらしい。あと、dot file もサーチするのやめて...

いや、一般的なプログラミング言語に対する一般的な編集とプログラミングなら良いんじゃないですかね。

ってな感じでお友達にはなれそうにないな〜 InteliJ は Java ならまぁ。