Theia API Documentation v1.70.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
TextEditorDiffInformationDto
Interface TextEditorDiffInformationDto
interface
TextEditorDiffInformationDto
{
changes
:
readonly
{
kind
:
number
;
modified
:
{
endLineNumberExclusive
:
number
;
startLineNumber
:
number
}
;
original
:
{
endLineNumberExclusive
:
number
;
startLineNumber
:
number
}
;
}
[]
;
documentVersion
:
number
;
isStale
:
boolean
;
modified
:
UriComponents
;
original
:
undefined
|
UriComponents
;
}
Index
Properties
changes
document
Version
is
Stale
modified
original
Properties
Readonly
changes
changes
:
readonly
{
kind
:
number
;
modified
:
{
endLineNumberExclusive
:
number
;
startLineNumber
:
number
}
;
original
:
{
endLineNumberExclusive
:
number
;
startLineNumber
:
number
}
;
}
[]
Readonly
document
Version
documentVersion
:
number
Readonly
is
Stale
isStale
:
boolean
Readonly
modified
modified
:
UriComponents
Readonly
original
original
:
undefined
|
UriComponents
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
changes
document
Version
is
Stale
modified
original
Eclipse Theia Website
GitHub
Theia API Documentation v1.70.0
Loading...