Mandoo: Mandala drawing App

Mar 8, 2022

A couple of problems have been solved:
* The brush options dialog no longer crashes.
* Undoing lines with border doesn't create unexpected results anymore.
* Cropped brush size texts are now visible.