ECLIPSE THEIA - TERMINAL MANAGER EXTENSION
## Description
The `@theia/terminal-manager` extension contributes a terminal manager widget to use several terminal widgets within one view.
The extension provides setting `terminal.grouping.mode` to toggle using this instead of separate terminal views.
## Additional Information
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
- [Theia - Website](https://theia-ide.org/)
## License
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
- [δΈ€ (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
## Trademark
"Theia" is a trademark of the Eclipse Foundation