-
Stephen Griffiths authored
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.
c53113d0
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.