Theia API Documentation v1.68.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/languages/hover
HoverAdapter
Class HoverAdapter
Index
Constructors
constructor
Methods
provide
Hover
release
Hover
Constructors
constructor
new
HoverAdapter
(
provider
:
HoverProvider
,
documents
:
DocumentsExtImpl
,
)
:
HoverAdapter
Parameters
provider
:
HoverProvider
documents
:
DocumentsExtImpl
Returns
HoverAdapter
Methods
provide
Hover
provideHover
(
resource
:
URI
,
position
:
Position
,
context
:
undefined
|
HoverContext
<
{
id
:
number
}
>
,
token
:
CancellationToken
,
)
:
Promise
<
undefined
|
HoverWithId
>
Parameters
resource
:
URI
position
:
Position
context
:
undefined
|
HoverContext
<
{
id
:
number
}
>
token
:
CancellationToken
Returns
Promise
<
undefined
|
HoverWithId
>
release
Hover
releaseHover
(
id
:
number
)
:
void
Parameters
id
:
number
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Methods
provide
Hover
release
Hover
Eclipse Theia Website
GitHub
Theia API Documentation v1.68.0
Loading...