Enrico Giorio
Results
2
issues of
Enrico Giorio
I even tried to explicitly set the behavior this way: `ino pumvisible() ? (complete_info().selected == -1 ? "\" : "\") : "\"` But the newline is always inserted after selecting...
I am kinda new to coq and I find the LSP setup a bit confusing. When reading the help, it seems that it is just necessary to set up the...