diff options
| author | Tobias Hunger <tobias.hunger@digia.com> | 2013-06-03 12:56:49 +0200 |
|---|---|---|
| committer | Tobias Hunger <tobias.hunger@digia.com> | 2013-06-03 15:32:50 +0200 |
| commit | 2af8faeb91a4326d5c432a3d10dd03c6f8303b01 (patch) | |
| tree | eff76a764d2743a38d4443edfd4be2cfe4550762 /src/plugins/projectexplorer/projectexplorersettings.h | |
| parent | 078942b767525087700aa4603b606a50c37b9db3 (diff) | |
ProjectExplorerSettings: Keep environmentId.
Make sure to not change the environmentId when editing something
in the settings page.
Task-number: QTCREATORBUG-9359
Change-Id: I7fc891cb3a69f08b1c2ea3f963a2deb01ddca9b2
Reviewed-by: Eike Ziller <eike.ziller@digia.com>
Reviewed-by: Daniel Teske <daniel.teske@digia.com>
Diffstat (limited to 'src/plugins/projectexplorer/projectexplorersettings.h')
| -rw-r--r-- | src/plugins/projectexplorer/projectexplorersettings.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/plugins/projectexplorer/projectexplorersettings.h b/src/plugins/projectexplorer/projectexplorersettings.h index adf2b8a5586..507bf4612a6 100644 --- a/src/plugins/projectexplorer/projectexplorersettings.h +++ b/src/plugins/projectexplorer/projectexplorersettings.h @@ -81,7 +81,8 @@ inline bool operator==(const ProjectExplorerSettings &p1, const ProjectExplorerS && p1.useJom == p2.useJom && p1.autorestoreLastSession == p2.autorestoreLastSession && p1.prompToStopRunControl == p2.prompToStopRunControl - && p1.maxAppOutputLines == p2.maxAppOutputLines; + && p1.maxAppOutputLines == p2.maxAppOutputLines + && p1.environmentId == p2.environmentId; } } // namespace ProjectExplorer |