neovim の不具合

Agda の unicode 入力のmappingが一部動かなくて、少し、ChatGPTと調べたんですが..

　　noremap! <buffer> <LocalLeader>^r　　　 ʳ

動かないのはこれ。LocalLeadr は , なんですが、,^ を入力すると、^ がでちゃう。なんじゃそりゃ。

で、わかったのは

　　Termina.app ではでない。xterm ででる
　　Ubuntu 22.04 on WSL2の xterm でもでない

さらに、

　　^v ~ すると、<S-~> とでる

それか。

　　vim ではでない。neovim だけ

なので、neovim の version の問題な可能性が高いかな。

　　NVIM v0.8.0-dev

だからな。 めんどくさいので、

　　noremap! <buffer> <LocalLeader><S-~>r　　　 ʳ

という風に work around して逃げました。