From 078942b767525087700aa4603b606a50c37b9db3 Mon Sep 17 00:00:00 2001
From: Tobias Hunger <tobias.hunger@digia.com>
Date: Mon, 3 Jun 2013 12:56:08 +0200
Subject: [PATCH] ProjectExplorerSettingsPage: Do not have a const setter.

Change-Id: Ic0a71ce49b9f65894860562b8414772cd839152c
Reviewed-by: Eike Ziller <eike.ziller@digia.com>
Reviewed-by: Daniel Teske <daniel.teske@digia.com>
---
 src/plugins/projectexplorer/projectexplorersettingspage.cpp | 2 +-
 src/plugins/projectexplorer/projectexplorersettingspage.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/projectexplorer/projectexplorersettingspage.cpp b/src/plugins/projectexplorer/projectexplorersettingspage.cpp
index 1673bfaf640..c008919e8f9 100644
--- a/src/plugins/projectexplorer/projectexplorersettingspage.cpp
+++ b/src/plugins/projectexplorer/projectexplorersettingspage.cpp
@@ -84,7 +84,7 @@ ProjectExplorerSettings ProjectExplorerSettingsWidget::settings() const
     return pes;
 }
 
-void ProjectExplorerSettingsWidget::setSettings(const ProjectExplorerSettings  &pes) const
+void ProjectExplorerSettingsWidget::setSettings(const ProjectExplorerSettings  &pes)
 {
     m_ui.buildProjectBeforeDeployCheckBox->setChecked(pes.buildBeforeDeploy);
     m_ui.deployProjectBeforeRunCheckBox->setChecked(pes.deployBeforeRun);
diff --git a/src/plugins/projectexplorer/projectexplorersettingspage.h b/src/plugins/projectexplorer/projectexplorersettingspage.h
index f84d9981bbb..a2e40a79c38 100644
--- a/src/plugins/projectexplorer/projectexplorersettingspage.h
+++ b/src/plugins/projectexplorer/projectexplorersettingspage.h
@@ -47,7 +47,7 @@ public:
     explicit ProjectExplorerSettingsWidget(QWidget *parent = 0);
 
     ProjectExplorerSettings settings() const;
-    void setSettings(const ProjectExplorerSettings  &s) const;
+    void setSettings(const ProjectExplorerSettings  &s);
 
     QString projectsDirectory() const;
     void setProjectsDirectory(const QString &pd);