Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia.proposed.textEditorDiffInformation
TextEditorDiffInformation
Interface TextEditorDiffInformation
interface
TextEditorDiffInformation
{
changes
:
readonly
TextEditorChange
[]
;
documentVersion
:
number
;
isStale
:
boolean
;
modified
:
Uri
;
original
:
undefined
|
Uri
;
}
Index
Properties
changes
document
Version
is
Stale
modified
original
Properties
Readonly
changes
changes
:
readonly
TextEditorChange
[]
Readonly
document
Version
documentVersion
:
number
Readonly
is
Stale
isStale
:
boolean
Readonly
modified
modified
:
Uri
Readonly
original
original
:
undefined
|
Uri
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.65.0
Loading...