From bb567ef622c8d96c1c0d63eff7386cc3859d6596 Mon Sep 17 00:00:00 2001
From: mae <qt-info@nokia.com>
Date: Tue, 1 Dec 2009 16:21:14 +0100
Subject: [PATCH] suppress useless warning (cherry picked from commit
 982f97e48a53b174a2f748d6569983b8fe855f77)

---
 src/plugins/coreplugin/editormanager/editorview.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/coreplugin/editormanager/editorview.cpp b/src/plugins/coreplugin/editormanager/editorview.cpp
index 93e59ff1594..951484aa4c4 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)
-- 
GitLab