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
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