From ddc951c456ee22e86542a4b66d1512a69d5c1be5 Mon Sep 17 00:00:00 2001 From: Daniel Teske Date: Wed, 5 Dec 2012 14:50:08 +0100 Subject: [PATCH] Default Shadow Build Dir: Use different key The former settting saved under this key had a default value of $HOME, which is a akward value. We need to use a different key, so that users get the default value even if they had run a creator which sets the $HOME value. Change-Id: I1c6637c3037e4e1919f078f56eaba5ce77d7fbce Reviewed-by: Friedemann Kleint --- src/plugins/coreplugin/documentmanager.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/coreplugin/documentmanager.cpp b/src/plugins/coreplugin/documentmanager.cpp index 42d8787a6d7..292b31fb6ee 100644 --- a/src/plugins/coreplugin/documentmanager.cpp +++ b/src/plugins/coreplugin/documentmanager.cpp @@ -97,7 +97,7 @@ static const char editorsKeyC[] = "EditorIds"; static const char directoryGroupC[] = "Directories"; static const char projectDirectoryKeyC[] = "Projects"; static const char useProjectDirectoryKeyC[] = "UseProjectsDirectory"; -static const char buildDirectoryKeyC[] = "BuildDirectory"; +static const char buildDirectoryKeyC[] = "BuildDirectory.Template"; namespace Core {