Personal tool controls in Workbench

You can now choose which preset tools you want to use in Workbench. These choices are personal to you, so the shared preset — and your teammates' setup — stay exactly the same.