mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Retype: Log post caret completions
This commit is contained in:
@@ -357,6 +357,7 @@ class RetypeSession(
|
||||
document.replaceString(pos, pos + docIndexOfFirstComp, replacement)
|
||||
}
|
||||
}
|
||||
(pos until pos + origIndexOfFirstComp + firstCompletion.length).forEach { log.recordCompletion(document.text[it]) }
|
||||
pos += origIndexOfFirstComp + firstCompletion.length
|
||||
editor.caretModel.moveToOffset(pos)
|
||||
completionStack.removeLast()
|
||||
|
||||
Reference in New Issue
Block a user