Thats great, but if someone else is reading this and has a similar problem
it would be nice if you could articulate your solution so others can learn
as well how you did it.
If you have multiple tools in a workspace, you can just pick up one of the
tool tabs and drag it left or right along the list, then drop it in a new
position.