How to change brush size in darktable for windows