Jakub Gros

"else" is not properly displayed

3

Hello, I have noticed a problem with the plugin when we have such case in C++: ``` if(caseA) { //... } else if(caseB) { //... } else { //... }...

What's the point of the "repeat" option?

1

Hello. I would like to learn what's the point of the "repeat" coq's option. Wouldn't that be possible to integrate it with the native repeat option (bound by default to...

In the files section, when I cut a file using the 'x' default shortcut, it marks the file with asterisk. If I cut a wrong file mistakenly, there is no...

Failed to fetch latest release from GitHub API

6

### I've searched open issues for similar requests Yes ### I've recently downloaded the latest plugin version of mason.nvim - [X] Yes ### Problem description Hello, During installation of any...

[Bug] Key behave as if it was stuck and repeats the last typed letter

12

### Describe the Bug When typing, the keyboard sometimes behaves as if a key was pressed and held. It sends a signal to the PC until I click any key...

Failed to start server: no such file or directory

1

Hello, I'm getting the following error during startup: ``` Error detected while processing /home/sg315781/.local/share/nvim/site/pack/packer/start/coq_nvim/plugin/coq.vim: line 1: E5108: Error executing lua Vim:Failed to start server: no such file or directory stack...

Whitespace-only lines are not highlighted

2

Hello, I think that I have discovered a bug where whitespace-only lines are not highlighted. Please have a look at the line number 25 from the attached screenshot.  The...