Actions
Task #3082
closedIdea #3076: Workbench UI Improvements: Move "help" to top nav, merge with ssh/tokens stuff, change to gear icon, call it "settings".
Clarify requirements
Description
- Do we want another drop down to the right of gear menu?
Actions