mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-73961 Buggy backspace in ConsoleView
Removed explicit console tokens modification as it's already performed by the dedicated document listener
This commit is contained in:
@@ -1538,11 +1538,6 @@ public class ConsoleViewImpl extends JPanel implements ConsoleView, ObservableCo
|
||||
|
||||
buffer.removeUserText(startOffset - deferredOffset, endOffset - deferredOffset);
|
||||
int charCountToDelete = endOffset - startOffset;
|
||||
|
||||
info.endOffset -= charCountToDelete;
|
||||
if (info.startOffset == info.endOffset) {
|
||||
consoleView.myTokens.remove(consoleView.myTokens.size() - 1);
|
||||
}
|
||||
}
|
||||
|
||||
document.deleteString(startOffset, endOffset);
|
||||
|
||||
Reference in New Issue
Block a user