120ace
120ace
Having updated to zellij version `0.42.2`, this problem still persists.
Sorry for the late reply. As I was typing out this reply, I decided to reread the help file for your plugin. In doing so I realized I had missed...
I forgot to add, I am manually triggering the shortcut to check for completion options, it is not automatically suggesting them as I type. IDK if that helps.
Just a preface, I am pretty new to all of this, the depth of my experience with idris2 is (currently) just going past the ```hello world``` part of (https://github.com/stefan-hoeck/idris2-tutorial). Really,...