first try would be to just reactivate your workspace (command _WORKSPACE or symbol in the lower right area within the status bar)
- alfred -
Firstly, you could change the workspace to check the tool is back or not.
Then you could check the tools ribbon are checked or not from Ribbon
Wish this could help your colleague to solve his issue.
Access a broad range of knowledge to help get the most out of your products and services.