Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2013-07-22 14:51:49 +0000
committerDani Megert2013-07-22 14:51:49 +0000
commita16b4fcfc9b70ad415eed9abf1f63e88d206af0f (patch)
tree358108b7ce8827ab2ec3ea7a597c1f93ac917ea2
parent7fb8e3e34e45592d28d260016ce92d7f24731657 (diff)
downloadeclipse.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.java7
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));
}
}
}

Back to the top