From 224a2564d6d55a7cdfa6832e08134734ef84e7af Mon Sep 17 00:00:00 2001
From: Henning Gruendl <henning.gruendl@qt.io>
Date: Fri, 20 Oct 2023 16:39:11 +0200
Subject: [PATCH] QmlDesigner: Remove option from restart list

Change-Id: I3bb28e8b65beddd96d757673f375021207a83ca2
Reviewed-by: Thomas Hartmann <thomas.hartmann@qt.io>
Reviewed-by: <github-actions-qt-creator@cristianadam.eu>
Reviewed-by: Qt CI Patch Build Bot <ci_patchbuild_bot@qt.io>
---
 src/plugins/qmldesigner/settingspage.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/qmldesigner/settingspage.cpp b/src/plugins/qmldesigner/settingspage.cpp
index 4a1e855964e..2302883b0d9 100644
--- a/src/plugins/qmldesigner/settingspage.cpp
+++ b/src/plugins/qmldesigner/settingspage.cpp
@@ -490,7 +490,6 @@ void SettingsPageWidget::apply()
     const auto restartNecessaryKeys = {DesignerSettingsKey::PUPPET_DEFAULT_DIRECTORY,
                                        DesignerSettingsKey::PUPPET_TOPLEVEL_BUILD_DIRECTORY,
                                        DesignerSettingsKey::ENABLE_MODEL_EXCEPTION_OUTPUT,
-                                       DesignerSettingsKey::PUPPET_KILL_TIMEOUT,
                                        DesignerSettingsKey::FORWARD_PUPPET_OUTPUT,
                                        DesignerSettingsKey::DEBUG_PUPPET,
                                        DesignerSettingsKey::ENABLE_MODEL_EXCEPTION_OUTPUT,