app: Remove Tools dockable
Remove the Tools dockable. The toolbox will be configured from the Toolbox page in preferences instead. This is part of the fix for bug #500930.
parent
87f25f29
Remove the Tools dockable. The toolbox will be configured from the Toolbox page in preferences instead. This is part of the fix for bug #500930.