diff --git a/src/plugins/coreplugin/editormanager/editorview.cpp b/src/plugins/coreplugin/editormanager/editorview.cpp
index 93e59ff1594db9bdbcb764974525f0b3699ec22e..951484aa4c44a09344b324dbedbb4a318f5ff51b 100644
--- a/src/plugins/coreplugin/editormanager/editorview.cpp
+++ b/src/plugins/coreplugin/editormanager/editorview.cpp
@@ -487,9 +487,9 @@ void EditorView::updateEditorHistory(IEditor *editor)
 void EditorView::addCurrentPositionToNavigationHistory(IEditor *editor, const QByteArray &saveState)
 {
     if (editor && editor != currentEditor()) {
-        qDebug() << Q_FUNC_INFO << "this should not happen!";
-        return;
+        return; // we only save editor sate for the current editor, when the user interacts
     }
+
     if (!editor)
         editor = currentEditor();
     if (!editor)