FEATURE: Make it possible to set the maximum brush size to 10,000
Now users can set the maximum brush size to 10,000. The default is
still 1,000 -- and trust me, a 10,000 pixel diameter brush is
slow and takes a huge amount of memory.
BUG:334123
CCMAIL:kimageshop@kde.org