diff options
| author | Marius Kintel <marius@kintel.net> | 2011-07-11 01:54:20 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2011-07-11 01:54:20 (GMT) |
| commit | 21ac6c05d16e9b2eca360dbbe684335ee2431af6 (patch) | |
| tree | 7c5c3215565f872d83af4190437c38a6edd3d760 /src/Preferences.h | |
| parent | 65a5df881092d89e90e71e180c689a711770c801 (diff) | |
| parent | 381a31199755a205189534fe727a9e8167f0715c (diff) | |
merged in recent changes in master
Diffstat (limited to 'src/Preferences.h')
| -rw-r--r-- | src/Preferences.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Preferences.h b/src/Preferences.h index 39599fd..79fa7ab 100644 --- a/src/Preferences.h +++ b/src/Preferences.h @@ -34,6 +34,7 @@ public slots: void colorSchemeChanged(); void fontFamilyChanged(const QString &); void fontSizeChanged(const QString &); + void OpenGL20WarningChanged(bool); signals: void requestRedraw() const; |