diff -r d948d39e5da8 -r f5d36be88c61 QTfrontend/ui/page/pagedrawmap.h
--- 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();