diff options
author | Dani Megert | 2013-07-22 14:51:49 +0000 |
---|---|---|
committer | Dani Megert | 2013-07-22 14:51:49 +0000 |
commit | a16b4fcfc9b70ad415eed9abf1f63e88d206af0f (patch) | |
tree | 358108b7ce8827ab2ec3ea7a597c1f93ac917ea2 | |
parent | 7fb8e3e34e45592d28d260016ce92d7f24731657 (diff) | |
download | eclipse.platform.text-a16b4fcfc9b70ad415eed9abf1f63e88d206af0f.tar.gz eclipse.platform.text-a16b4fcfc9b70ad415eed9abf1f63e88d206af0f.tar.xz eclipse.platform.text-a16b4fcfc9b70ad415eed9abf1f63e88d206af0f.zip |
Fixed bug 413430: [navigation] Last edit position's editor id for multi-page editors is ""I20130724-1600I20130723-0800
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java index 077d0646b6c..dd01c7a5942 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java @@ -210,6 +210,7 @@ import org.eclipse.ui.operations.OperationHistoryActionHandler; import org.eclipse.ui.operations.RedoActionHandler; import org.eclipse.ui.operations.UndoActionHandler; import org.eclipse.ui.part.EditorPart; +import org.eclipse.ui.part.MultiPageEditorSite; import org.eclipse.ui.texteditor.rulers.IColumnSupport; import org.eclipse.ui.texteditor.rulers.IContributedRulerColumn; @@ -635,7 +636,11 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit fLocalLastEditPosition= null; } } - TextEditorPlugin.getDefault().setLastEditPosition(new EditPosition(input, getEditorSite().getId(), fLocalLastEditPosition)); + + IEditorSite editorSite= getEditorSite(); + if (editorSite instanceof MultiPageEditorSite) + editorSite= ((MultiPageEditorSite)editorSite).getMultiPageEditor().getEditorSite(); + TextEditorPlugin.getDefault().setLastEditPosition(new EditPosition(input, editorSite.getId(), fLocalLastEditPosition)); } } } |