Theia API Documentation v1.71.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
ScmHistoryOptionsDto
Interface ScmHistoryOptionsDto
interface
ScmHistoryOptionsDto
{
filterText
?:
string
;
historyItemRefs
?:
string
[]
;
limit
?:
number
|
{
id
?:
string
}
;
skip
?:
number
;
}
Index
Properties
filter
Text?
history
Item
Refs?
limit?
skip?
Properties
Optional
filter
Text
filterText
?:
string
Optional
history
Item
Refs
historyItemRefs
?:
string
[]
Optional
limit
limit
?:
number
|
{
id
?:
string
}
Optional
skip
skip
?:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
filter
Text
history
Item
Refs
limit
skip
Eclipse Theia Website
GitHub
Theia API Documentation v1.71.0
Loading...