lean.nvim icon indicating copy to clipboard operation
lean.nvim copied to clipboard

trythis candidates should be selectable via <CR> or autocomplete

Open Julian opened this issue 3 years ago • 0 comments

Given multiple different suggestions in the diagnostics, it's probably better to decide which to insert via a normal pum / completion selection.

Julian avatar Feb 21 '21 00:02 Julian