Module @theia/terminal-manager

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
• Theia - Website

License

• Eclipse Public License 2.0
• 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception

Trademark

"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia