Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
FoldingRules
Interface FoldingRules
interface
FoldingRules
{
markers
?:
FoldingMarkers
;
offSide
?:
boolean
;
}
Index
Properties
markers?
off
Side?
Properties
Optional
markers
markers
?:
FoldingMarkers
Optional
off
Side
offSide
?:
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
markers
off
Side
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...