Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc-model
DocumentLink
Interface DocumentLink
interface
DocumentLink
{
cacheId
?:
ChainedCacheId
;
range
:
Range
;
tooltip
?:
string
;
url
?:
string
|
UriComponents
;
}
Index
Properties
cache
Id?
range
tooltip?
url?
Properties
Optional
cache
Id
cacheId
?:
ChainedCacheId
range
range
:
Range
Optional
tooltip
tooltip
?:
string
Optional
url
url
?:
string
|
UriComponents
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
cache
Id
range
tooltip
url
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...