MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use String.take instead of substring. Rename i variable to bracketCharacterPos

Browse Source
This commit is contained in:
Alex Plate
2018-11-21 19:46:21 +03:00
parent 7bb29bbed9
commit 08045f8bb9
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/internal/retype/RetypeSession.kt
+4 -4
View File
@@ -146,7 +146,7 @@ class RetypeSession(
// There changes wasn't made by lookup, so we don't know how to handle them
// Restore text as it should be at this point without any intelligence
WriteCommandAction.runWriteCommandAction(project) {
document.replaceText(originalText.substring(0, pos) + originalText.substring(endPos), document.modificationStamp + 1)
document.replaceText(originalText.take(pos) + originalText.takeLast(endPos), document.modificationStamp + 1)
}
}
}
@@ -166,12 +166,12 @@ class RetypeSession(
val nextChar = originalText[pos]
if (document.textLength - pos > tailLength && nextChar in listOf('}', ')', ']')) {
// Still have something extra characters in front. Probably closing bracket.
for (i in pos until document.textLength - tailLength) {
if (document.text[i] == nextChar) {
for (bracketCharacterPos in pos until document.textLength - tailLength) {
if (document.text[bracketCharacterPos] == nextChar) {
// Found brackets character after caret. All characters between caret and matched symbol should be deleted
// Because we don't expect them (in most cases this is just whitespaces)
WriteCommandAction.runWriteCommandAction(project) {
document.deleteString(pos, i)
document.deleteString(pos, bracketCharacterPos)
}
break
}