comparison: src/settingseditor/settingseditor.h
src/settingseditor/settingseditor.h
- changeset 112
- 5760cbb32bc0
- parent 41
- 0abada2a9802
- child 206
- 654661eab7f3
equal
deleted
inserted
replaced
| 111:1f42c03fafca | 112:5760cbb32bc0 |
|---|---|
| 12 public: | 12 public: |
| 13 SettingsEditor(Configuration* settings, | 13 SettingsEditor(Configuration* settings, |
| 14 const uiutilities::KeySequenceMap& defaultKeyboardShortcuts = {}, | 14 const uiutilities::KeySequenceMap& defaultKeyboardShortcuts = {}, |
| 15 QWidget* parent = nullptr); | 15 QWidget* parent = nullptr); |
| 16 ~SettingsEditor(); | 16 ~SettingsEditor(); |
| 17 private slots: | 17 private Q_SLOTS: |
| 18 void handleAccepted(); | 18 void handleAccepted(); |
| 19 private: | 19 private: |
| 20 class Ui_SettingsEditor& ui; | 20 class Ui_SettingsEditor& ui; |
| 21 Configuration* const settings; | 21 Configuration* const settings; |
| 22 LibraryManager libraries; | 22 LibraryManager libraries; |
