diff --git a/src/plugins/debugger/debuggerplugin.cpp b/src/plugins/debugger/debuggerplugin.cpp
index 1729a4c861bfcb9ba67f8ff08d7e31adc0a30e9c..e271bc3c8a7871f8d79ac0b649e2380e6f6ba050 100644
--- a/src/plugins/debugger/debuggerplugin.cpp
+++ b/src/plugins/debugger/debuggerplugin.cpp
@@ -2578,8 +2578,8 @@ void DebuggerPlugin::gotoLocation(const QString &file, int line, bool setMarker)
     bool newEditor = false;
     ITextEditor *editor =
         BaseTextEditor::openEditorAt(file, line, 0, QString(),
-                                     Core::EditorManager::IgnoreNavigationHistory|Core::EditorManager::NoModeSwitch,
-                                     &newEditor);
+            EditorManager::IgnoreNavigationHistory | EditorManager::NoModeSwitch,
+            &newEditor);
     if (!editor)
         return;
     if (newEditor)
@@ -2596,10 +2596,11 @@ void DebuggerPlugin::openTextEditor(const QString &titlePattern0,
     QString titlePattern = titlePattern0;
     EditorManager *editorManager = EditorManager::instance();
     QTC_ASSERT(editorManager, return);
-    Core::IEditor *editor = editorManager->openEditorWithContents(
+    IEditor *editor = editorManager->openEditorWithContents(
         Core::Constants::K_DEFAULT_TEXT_EDITOR_ID, &titlePattern, contents);
     QTC_ASSERT(editor, return);
-    editorManager->activateEditor(editor);
+    editorManager->activateEditor(editor,
+        EditorManager::IgnoreNavigationHistory|EditorManager::NoModeSwitch);
 }
 
 void DebuggerPlugin::writeSettings() const