eclipse-theia
ECLIPSE THEIA - EDITOR EXTENSION
Description
The @theia/editor extension contributed functionality such as the editor widget, menu, keybindings, and navigation.
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