diff options
author | Dirk Steinkamp | 2022-03-11 19:27:59 +0000 |
---|---|---|
committer | Mickael Istria | 2022-03-15 08:22:37 +0000 |
commit | 579ca5b681fe05936c8272af9109c79c4e4fb1a0 (patch) | |
tree | 6e2e4fed15bb2a209eb7dfe1ed5d64127c982022 /org.eclipse.jface.text/src/org/eclipse/jface | |
parent | 1a27e19c6ff1267be05cb2b833b2f977d7da2dfc (diff) | |
download | eclipse.platform.text-579ca5b681fe05936c8272af9109c79c4e4fb1a0.tar.gz eclipse.platform.text-579ca5b681fe05936c8272af9109c79c4e4fb1a0.tar.xz eclipse.platform.text-579ca5b681fe05936c8272af9109c79c4e4fb1a0.zip |
Bug 574942 - Undo, Line End, Line Start... actions loose carets with block/multiple selection
- Maintain carets when undoing with active multiple carets
Change-Id: Ib61b9c2df27e4f8060b07548dcbcf1c065602472
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/191798
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.jface.text/src/org/eclipse/jface')
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewerUndoManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewerUndoManager.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewerUndoManager.java index e1e4d8a9b53..edfe22ca667 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewerUndoManager.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewerUndoManager.java @@ -175,7 +175,7 @@ public class TextViewerUndoManager implements IUndoManager, IUndoManagerExtensio // Reveal the change if this manager's viewer has the focus. if (fTextViewer != null) { StyledText widget= fTextViewer.getTextWidget(); - if (widget != null && !widget.isDisposed() && (widget.isFocusControl()))// || fTextViewer.getTextWidget() == control)) + if (widget != null && !widget.isDisposed() && (widget.isFocusControl()) && (widget.getSelectionRanges().length <= 2))// || fTextViewer.getTextWidget() == control)) selectAndReveal(event.getOffset(), event.getText() == null ? 0 : event.getText().length()); } } |