diff options
| author | Antonio Rojas <[email protected]> | 2019-12-09 23:23:07 +0100 |
|---|---|---|
| committer | Antonio Rojas <[email protected]> | 2019-12-09 23:23:07 +0100 |
| commit | 8ffc72e87f4cffa8dce32da06e9a1d51a595765e (patch) | |
| tree | 0b29393fd4710ed536de903e394ce1a955fe016a /src/settings/general | |
| parent | 9c7e196bddd692032245c8f068495f318434169d (diff) | |
| parent | 588965feccdc38c8bf2ec0e1a25b8d195c451062 (diff) | |
Merge branch 'release/19.12'
Diffstat (limited to 'src/settings/general')
| -rw-r--r-- | src/settings/general/previewssettingspage.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings/general/previewssettingspage.cpp b/src/settings/general/previewssettingspage.cpp index 30d71ff54..90a4211c0 100644 --- a/src/settings/general/previewssettingspage.cpp +++ b/src/settings/general/previewssettingspage.cpp @@ -32,6 +32,7 @@ #include <QLabel> #include <QListView> #include <QPainter> +#include <QShowEvent> #include <QSortFilterProxyModel> #include <QSpinBox> |