Licence
EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
Version
1.75.0
Deps
3
Size
1.1 MB
Vulns
0
Weekly
15.6K
Stars
21.7K
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