--- a/QTfrontend/ui/page/pagedrawmap.h	Wed Mar 14 21:46:07 2018 +0100
+++ b/QTfrontend/ui/page/pagedrawmap.h	Wed Mar 14 22:59:06 2018 +0100
@@ -48,6 +48,10 @@
         QRadioButton * rbPolyline;
         QRadioButton * rbRectangle;
         QRadioButton * rbEllipse;
+        QSpinBox * sbBrushSize;
+
+    public slots:
+        void brushSizeChanged(int brushSize);
 
     private slots:
         void load();