With "Enable lsp completion" active in the settings, accepting anything from the code completion dialog after typing (via tab, enter, Ctrl+. ...) deletes everything else in the file that came before the token. (The suggestion itself is inserted correctly and in full, i.e. the word is completed as expected.)

When no characters are typed before bringing up the completion popup, but the popup is brought up using Ctrl+Space of Ctrl+Shift+Space, the code completion is inserted as expected. However, if the completion popup shows up after typing any characters, even if Ctrl+Space is pressed afterwards, accepting anything from the code completion popup triggers the bug.

Tested with:

• RustRover 2025.1.3, Lean4IJ 0.2.7, LSP4IJ 0.14.2
• IntelliJ Ultimate 2025.1.3, Lean4IJ 0.2.7, LSP4IJ 0.14.2
• Cloned from this repo: IntelliJ Community 2024.1, Lean4IJ 0.2.7, LSP4IJ 0.14.3-20250716-093846