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.
Log into access your profile, ask and answer questions, share ideas and more. Haven't signed up yet? Register
Start with some of our most frequented solutions to get help installing your software.