@theia/preferences-api

v0.3.3
Theia - Preferences API
theia-extension

Readme Versions Dependencies Scripts

Theia - Preferences API

See here for a detailed documentation.

License

Apache-2.0

npm i @theia/[email protected]

Metadata

Downloads

Maintainers