diff options
author | Eike Ziller <eike.ziller@qt.io> | 2020-12-14 17:00:53 +0100 |
---|---|---|
committer | Eike Ziller <eike.ziller@qt.io> | 2020-12-16 08:40:24 +0000 |
commit | c8980478805ed6bcdfbf2965cbf6c03492d804e6 (patch) | |
tree | 7637ee0aea7eec25ec46a38dedcad06ece797e79 /src/plugins/projectexplorer/projectexplorersettings.h | |
parent | 8987996500adea77ac494da5c70e2e489d907353 (diff) | |
download | qt-creator-c8980478805ed6bcdfbf2965cbf6c03492d804e6.tar.gz |
ProjectExplorer: Don't save defaults to settings
Writes less settings and makes it possible to change defaults in the
future.
Task-number: QTCREATORBUG-24762
Change-Id: I73873b3684827b4fe27cfa5ea2f62a76003f9750
Reviewed-by: Christian Kandeler <christian.kandeler@qt.io>
Reviewed-by: Alessandro Portale <alessandro.portale@qt.io>
Diffstat (limited to 'src/plugins/projectexplorer/projectexplorersettings.h')
-rw-r--r-- | src/plugins/projectexplorer/projectexplorersettings.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/plugins/projectexplorer/projectexplorersettings.h b/src/plugins/projectexplorer/projectexplorersettings.h index 496bc3e26a..b5cbd7db3f 100644 --- a/src/plugins/projectexplorer/projectexplorersettings.h +++ b/src/plugins/projectexplorer/projectexplorersettings.h @@ -25,8 +25,10 @@ #pragma once +#include "projectexplorerconstants.h" + #include <coreplugin/coreconstants.h> -#include <projectexplorer/projectexplorerconstants.h> +#include <utils/hostosinfo.h> #include <QUuid> @@ -53,7 +55,9 @@ public: bool clearIssuesOnRebuild = true; bool abortBuildAllOnError = true; bool lowBuildPriority = false; - StopBeforeBuild stopBeforeBuild = StopBeforeBuild::None; + StopBeforeBuild stopBeforeBuild = Utils::HostOsInfo::isWindowsHost() + ? StopBeforeBuild::SameProject + : StopBeforeBuild::None; TerminalMode terminalMode = TerminalMode::Off; // Add a UUid which is used to identify the development environment. |