diff options
| author | Don Bright <hugh.m.bright@gmail.com> | 2013-12-29 21:25:35 (GMT) |
|---|---|---|
| committer | Don Bright <hugh.m.bright@gmail.com> | 2013-12-29 21:25:35 (GMT) |
| commit | f0e077269467ea38f54d517f4daea5c014a27df9 (patch) | |
| tree | e80a5b791ca876673991bd55db95abac95b313c3 /src/Preferences.h | |
| parent | 6938ae2dfde578e3980d077adefb86a4bdbd9df1 (diff) | |
enable disabling of syntax highlighter, add highlighter for dark backgrounds
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); |