bf34f95a9e
Removed 'Tool' and 'Options' panels, both these settings are quite obscure and already available in the 'Brush' menu.