diff options
author | Tobias Hunger <tobias.hunger@digia.com> | 2014-08-25 15:17:35 +0200 |
---|---|---|
committer | Tobias Hunger <tobias.hunger@digia.com> | 2014-09-04 13:36:56 +0200 |
commit | c2ed44085bc69bd160d27cf214e4789e1c3a15ac (patch) | |
tree | ed8997682278492157c2bc7aeaaf2bec8d56e262 /src/plugins/projectexplorer/kitmanagerconfigwidget.h | |
parent | d56f217f83ff6d808a865a9b524cdfca0f7cc78b (diff) |
Kit: Change displayName generation
Do not care whether the unexpandedDisplay name is unique or not, nor
whether the display name is unique or not.
Warn if it is not in the Kits Options Page, but that is all.
Change-Id: I1cbeb5beb477d533092ade6ef67a97044e53477c
Reviewed-by: Daniel Teske <daniel.teske@digia.com>
Diffstat (limited to 'src/plugins/projectexplorer/kitmanagerconfigwidget.h')
-rw-r--r-- | src/plugins/projectexplorer/kitmanagerconfigwidget.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/plugins/projectexplorer/kitmanagerconfigwidget.h b/src/plugins/projectexplorer/kitmanagerconfigwidget.h index 0187b43623..d6c14278aa 100644 --- a/src/plugins/projectexplorer/kitmanagerconfigwidget.h +++ b/src/plugins/projectexplorer/kitmanagerconfigwidget.h @@ -72,6 +72,8 @@ public: void removeKit(); void updateVisibility(); + void setHasUniqueName(bool unique); + signals: void dirty(); @@ -103,6 +105,7 @@ private: Kit *m_modifiedKit; bool m_isDefaultKit; bool m_fixingKit; + bool m_hasUniqueName; QPixmap m_background; QList<QAction *> m_actions; }; |