--- a/QTfrontend/ui/page/pageoptions.h	Wed Jul 17 00:33:55 2019 +0200
+++ b/QTfrontend/ui/page/pageoptions.h	Wed Jul 17 23:52:01 2019 +0200
@@ -79,6 +79,7 @@
         QComboBox *CBResolution;
         QSpinBox *windowWidthEdit;
         QSpinBox *windowHeightEdit;
+        QLabel *winLabelX;
         QComboBox *CBStereoMode;
         QCheckBox *CBFrontendSound;
         QCheckBox *CBFrontendMusic;