diff options
| author | Orgad Shaneh <orgad.shaneh@audiocodes.com> | 2018-05-31 22:16:46 +0300 |
|---|---|---|
| committer | Orgad Shaneh <orgads@gmail.com> | 2018-06-19 09:38:16 +0000 |
| commit | 909f30f006bb5d34ad09ed823c128e417f3bbc16 (patch) | |
| tree | ba56d181d0e1d4b06450c7d933fb5b7e655ca9ea /src/plugins/git/gerrit/gerritoptionspage.h | |
| parent | 4a868d6a1877224db2fcfa5deec32d6bfcb1feb5 (diff) | |
Gerrit: Update remotes on settings change
If the user is changed, we need to refresh at least the fallback server.
Task-number: QTCREATORBUG-20536
Change-Id: If21830ae5607907db9aaee164bc85b971ff93010
Reviewed-by: Tobias Hunger <tobias.hunger@qt.io>
Diffstat (limited to 'src/plugins/git/gerrit/gerritoptionspage.h')
| -rw-r--r-- | src/plugins/git/gerrit/gerritoptionspage.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/plugins/git/gerrit/gerritoptionspage.h b/src/plugins/git/gerrit/gerritoptionspage.h index 7395b95de1..b2a6fce12d 100644 --- a/src/plugins/git/gerrit/gerritoptionspage.h +++ b/src/plugins/git/gerrit/gerritoptionspage.h @@ -73,6 +73,9 @@ public: void apply() override; void finish() override; +signals: + void settingsChanged(); + private: const QSharedPointer<GerritParameters> &m_parameters; QPointer<GerritOptionsWidget> m_widget; |