Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
ContentDecorationRenderOptions
Interface ContentDecorationRenderOptions
interface
ContentDecorationRenderOptions
{
backgroundColor
?:
string
|
ThemeColor
;
border
?:
string
;
borderColor
?:
string
|
ThemeColor
;
color
?:
string
|
ThemeColor
;
contentIconPath
?:
UriComponents
;
contentText
?:
string
;
fontStyle
?:
string
;
fontWeight
?:
string
;
height
?:
string
;
margin
?:
string
;
textDecoration
?:
string
;
width
?:
string
;
}
Index
Properties
background
Color?
border?
border
Color?
color?
content
Icon
Path?
content
Text?
font
Style?
font
Weight?
height?
margin?
text
Decoration?
width?
Properties
Optional
background
Color
backgroundColor
?:
string
|
ThemeColor
Optional
border
border
?:
string
Optional
border
Color
borderColor
?:
string
|
ThemeColor
Optional
color
color
?:
string
|
ThemeColor
Optional
content
Icon
Path
contentIconPath
?:
UriComponents
Optional
content
Text
contentText
?:
string
Optional
font
Style
fontStyle
?:
string
Optional
font
Weight
fontWeight
?:
string
Optional
height
height
?:
string
Optional
margin
margin
?:
string
Optional
text
Decoration
textDecoration
?:
string
Optional
width
width
?:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
background
Color
border
border
Color
color
content
Icon
Path
content
Text
font
Style
font
Weight
height
margin
text
Decoration
width
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...