mzg147

After updating the extension to 0.3.10, if I try to use Agda with "Connect to Agda Language Server" option enabled, I get the following error in the Window output: ```...

Using mouse wheel, one can see that the scrollbar is also moving smoothly. When the screen is in a mid-line position, grabbing the scrollbar with the mouse and moving sligthly...

If the guid name is prefixed with "guid" in vsct, generate the member without this prefix.

1

In .vsct file, I want to have symbols definitions like `` I could name it just "Package" instead of "**guid**Package", but it works weird with Intellisense. I get "Package" in...