Anson Ng

icon indicating a website link an5on.com icon indicating an email [email protected]

icon location Hong Kong icon location University student. Locked in a never-ending journey of learning and exploration. Trying to find endless joy while swimming through lines of Kotlin code.

Results 3 issues of Anson Ng

Error occurs after Updating COQ to the latest version

I was receiving this message every time I start the neovim editor. I tried to run COQdeps, unfortunately, another error pops up. ![image](https://user-images.githubusercontent.com/54179931/148642677-1effd12c-2997-428e-bb6c-f2a8a12c2daa.png) ![image](https://user-images.githubusercontent.com/54179931/148642732-c29a8c73-7ccd-4742-8a8d-b03f3e518099.png)

Menu won't close when command line is empty

2 comment

The menu still remains when I have left command mode. ![image](https://user-images.githubusercontent.com/54179931/152316659-cf7db904-9ffc-4a38-b22b-ac27c8b905b1.png)

bug

Support for named slots

1 comment

Is it possible to pass content to named slots currently? I cannot find ways to specify templates and names within the content.