1 files changed, 5 insertions, 0 deletions
diff --git a/src/plugins/coreplugin/generalsettings.h b/src/plugins/coreplugin/generalsettings.h
index ed0f177532..bdd6597755 100644
--- a/src/plugins/coreplugin/generalsettings.h
+++ b/src/plugins/coreplugin/generalsettings.h
@@ -48,6 +48,9 @@ public:
     void apply() override;
     void finish() override;
 
+    bool showShortcutsInContextMenu() const;
+    void setShowShortcutsInContextMenu(bool show);
+
 private:
     void resetInterfaceColor();
     void resetWarnings();
@@ -57,9 +60,11 @@ private:
     void fillLanguageBox() const;
     QString language() const;
     void setLanguage(const QString&);
+
     Ui::GeneralSettings *m_page;
     QPointer<QMessageBox> m_dialog;
     QPointer<QWidget> m_widget;
+    bool m_defaultShowShortcutsInContextMenu;
 };
 
 } // namespace Internal