neovim の set mouse=a

普通の vim でも。Terminal の中で立ち上げた neovim/vim で mouse が使える。

今までは

　　mouse で　 選択するとTerminal で copy されて option click で paste

だったんですが、

　　mouse で　 選択すると vim で selectio されて y で copy、 p で paste
　　mouse で　Sfift 選択すると Terminal で copy されて Shift option click で paste

んー微妙。cursol が動かずに copy できるのが良かったんだが。Shift option は手がつる。

nvim-agda は neovim の中で pop up がでるんですが、その中に mouse で入れる。

いや、pop up を移動させたり、その中へキーで入るのってどうやるんだろ?

nvim-agda は、見落としてるエラーとかもあるらしく、少し工夫が必要な感じ。

Emacs でもできたんですが、あれは、どこにいったんでしょうね。x-modeline.el とかだったかな。

neovim が search を hilight するので、:nohl を覚えました。