From 63702b52e24ad9e5dc4ba22d64d343623ef84781 Mon Sep 17 00:00:00 2001
From: David Schulz <david.schulz@qt.io>
Date: Wed, 20 Apr 2022 07:11:18 +0200
Subject: [PATCH] Core: increase navigation size of navigation history

Fixes: QTCREATORBUG-27386
Change-Id: I0577e5cb4b799e485b5c17962d887c55b804a6d3
Reviewed-by: <github-actions-qt-creator@cristianadam.eu>
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
---
 src/plugins/coreplugin/editormanager/editorview.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/plugins/coreplugin/editormanager/editorview.cpp b/src/plugins/coreplugin/editormanager/editorview.cpp
index d3b3f6cfa41..c28c8582eb6 100644
--- a/src/plugins/coreplugin/editormanager/editorview.cpp
+++ b/src/plugins/coreplugin/editormanager/editorview.cpp
@@ -477,6 +477,8 @@ void EditorView::updateEditorHistory(IEditor *editor)
     updateEditorHistory(editor, m_editorHistory);
 }
 
+constexpr int navigationHistorySize = 100;
+
 void EditorView::addCurrentPositionToNavigationHistory(const QByteArray &saveState)
 {
     IEditor *editor = currentEditor();
@@ -502,8 +504,8 @@ void EditorView::addCurrentPositionToNavigationHistory(const QByteArray &saveSta
     m_navigationHistory.insert(m_currentNavigationHistoryPosition, location);
     ++m_currentNavigationHistoryPosition;
 
-    while (m_navigationHistory.size() >= 30) {
-        if (m_currentNavigationHistoryPosition > 15) {
+    while (m_navigationHistory.size() >= navigationHistorySize) {
+        if (m_currentNavigationHistoryPosition > navigationHistorySize / 2) {
             m_navigationHistory.removeFirst();
             --m_currentNavigationHistoryPosition;
         } else {