cockpit-project/cockpit — pull request #1474 by stefwalter (2014-11-12 09:04:06+00:00)
Title: Implement tools menu, and dynamically add tools to it

These tools are listed in the manifest.json files. Make the terminal such a tool.