diff options
Diffstat (limited to 'src/Preferences.h')
| -rw-r--r-- | src/Preferences.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Preferences.h b/src/Preferences.h index 4656793..1230c8a 100644 --- a/src/Preferences.h +++ b/src/Preferences.h @@ -24,6 +24,7 @@ public slots: void on_colorSchemeChooser_itemSelectionChanged(); void on_fontChooser_activated(const QString &); void on_fontSize_editTextChanged(const QString &); + void on_syntaxHighlight_currentIndexChanged(const QString &); void on_openCSGWarningBox_toggled(bool); void on_enableOpenCSGBox_toggled(bool); void on_cgalCacheSizeEdit_textChanged(const QString &); @@ -38,6 +39,7 @@ signals: void requestRedraw() const; void fontChanged(const QString &family, uint size) const; void openCSGSettingsChanged() const; + void syntaxHighlightChanged(const QString &s); private: Preferences(QWidget *parent = NULL); |