Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia.proposed.textEditorDiffInformation
TextEditorLineRange
Interface TextEditorLineRange
interface
TextEditorLineRange
{
endLineNumberExclusive
:
number
;
startLineNumber
:
number
;
}
Index
Properties
end
Line
Number
Exclusive
start
Line
Number
Properties
Readonly
end
Line
Number
Exclusive
endLineNumberExclusive
:
number
Readonly
start
Line
Number
startLineNumber
:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
end
Line
Number
Exclusive
start
Line
Number
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...