refs/heads/master - gerrit/platform/eclipse.platform.text

commit: cc5a9e8582f2b91e676711c33b94f440390e4149
[log] [tgz]
author: Andrey Loskutov <loskutov@gmx.de>
Sat Jul 24 18:49:53 2021 +0200
committer: Andrey Loskutov <loskutov@gmx.de>
Sat Jul 24 17:53:29 2021 -0400
tree: 689c0a513d5d2da9a789b5800a9f510125636fba
parent: 9e9fda599f36162554b017b469e0e32747ec963e [diff]

Bug 567321 - "Go to last edit location" doesn't work after closing
editors

Don't browse backwards in history on closing or changing editor input.

Change-Id: I14353a7b494bddd84ef5177b8801f208d27a1fd1
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/183341
Tested-by: Platform Bot <platform-bot@eclipse.org>

org.eclipse.ui.workbench.texteditor/META-INF/MANIFEST.MF[diff]
org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/texteditor/EditPosition.java[diff]
org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/texteditor/HistoryTracker.java[diff]
org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java[diff]

4 files changed