#9917: link to brush default GUI preference
Puts a preference in Tool Options -> Show link to brush default button TRUE by default, when FALSE the GUI for brushes makes me happy.
It's a feature I never use, but adds to the width and complexity of a dockable that's nearly always on display for me.
#9917