Theia API Documentation v1.71.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia
SourceControlHistoryOptions
Interface SourceControlHistoryOptions
interface
SourceControlHistoryOptions
{
filterText
?:
string
;
historyItemRefs
?:
readonly
string
[]
;
limit
?:
number
|
{
id
?:
string
}
;
skip
?:
number
;
}
Index
Properties
filter
Text?
history
Item
Refs?
limit?
skip?
Properties
Optional
Readonly
filter
Text
filterText
?:
string
Optional
Readonly
history
Item
Refs
historyItemRefs
?:
readonly
string
[]
Optional
Readonly
limit
limit
?:
number
|
{
id
?:
string
}
Optional
Readonly
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...