QTfrontend/ui/page/pageroomslist.cpp
changeset 13203 ceae8e01af98
parent 13202 0bc5f618ca7c
child 13206 25502e6b3e08
--- a/QTfrontend/ui/page/pageroomslist.cpp	Wed Mar 14 15:19:08 2018 +0100
+++ b/QTfrontend/ui/page/pageroomslist.cpp	Wed Mar 14 15:55:38 2018 +0100
@@ -29,6 +29,7 @@
 #include <QMenu>
 #include <QDebug>
 #include <QSplitter>
+#include <QSettings>
 
 #include <QSortFilterProxyModel>