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 Shift+Alt+P. 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 andNavigatableselections (which provide their resource URI) and displays the generalFileStatinformation (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.
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia