Revert "remove brush size from drawer", too much trouble in LabelingGui

This reverts commit 89b0dac7607a52845c0c4639f95faf63755fc49f.