Theia API Documentation v1.66.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia
env
sessionId
Variable sessionId
Const
sessionId
:
string
A unique identifier for the current session. Changes each time the editor is started.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.66.0
Loading...
A unique identifier for the current session. Changes each time the editor is started.