Theia API Documentation v1.71.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-ide
common/user-interaction-tool
PathContentRef
Interface PathContentRef
interface
PathContentRef
{
gitRef
?:
string
;
line
?:
number
;
path
:
string
;
}
Index
Properties
git
Ref?
line?
path
Properties
Optional
git
Ref
gitRef
?:
string
Optional
line
line
?:
number
path
path
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
git
Ref
line
path
Eclipse Theia Website
GitHub
Theia API Documentation v1.71.0
Loading...