包详细信息

ECLIPSE THEIA - NAVIGATOR EXTENSION

---

Description

The @theia/navigator extension contributes the file explorer widget.\ The file explorer can be used to easily view, open, and manage the files that correspond to a given workspace.

Additional Information

• API documentation for @theia/navigator
• 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