search

LFrobeen / intellij-datalog

MIT License
31 stars 4 forks source link

Autocomplete duplicates the prefix #13

Open murfel opened 10 months ago

murfel commented 10 months ago

When I type .inp, I get the autocomplete suggestions for .input, as expected.

Screenshot 2023-11-01 at 12 49 59

However, once I apply the suggestion (by hitting Enter), the initial dot is duplicated.

Screenshot 2023-11-01 at 12 47 28

The code,

.type Name <: symbol

.decl Something(name: Name)
.inp