README

<div align='center'> <h2>ECLIPSE THEIA - PROPERTY-VIEW EXTENSION</h2> <hr /> </div>

Description

The @theia/property-view extension contributes a generic, global property view based on Theia's global selection.

The property view widget can be opened/toggled either via menu View->Properties or via shortcut <kbd>Shift+Alt+P</kbd>. It is located in the bottom dock area by default.

The following two default content widgets are implemented in this extension:

• EmptyPropertyViewWidget: If no other widget can be provided, a simple message (No properties available) is shown.
• ResourcePropertyViewWidget: Can handle FileSelections and Navigatable selections (which provide their resource URI) and displays the general FileStat information (e.g. location, name, last modified) in a TreeWidget.

To contribute a specific property view, it is necessary to implement a PropertyViewDataService which gathers the property data for a selection as well as a PropertyViewWidgetProvider which provides a suitable content widget to display the property data for a specific selection inside the property view widget.

</br>

Additional Information

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