diff options
| author | Dani Megert | 2013-07-22 14:51:49 +0000 |
|---|---|---|
| committer | Dani Megert | 2013-07-29 13:09:49 +0000 |
| commit | a21cc84e51523fb812d55895b0d7aa9da739607a (patch) | |
| tree | 00af2e39c64a43d55caed39615656d6868b128a6 | |
| parent | d74439394698df3f60bc15a5fa81fc59db2367f5 (diff) | |
| download | eclipse.platform.text-a21cc84e51523fb812d55895b0d7aa9da739607a.tar.gz eclipse.platform.text-a21cc84e51523fb812d55895b0d7aa9da739607a.tar.xz eclipse.platform.text-a21cc84e51523fb812d55895b0d7aa9da739607a.zip | |
Fixed bug 413430: [navigation] Last edit position's editor id for multi-page editors is ""
| -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)); } } } |