kotlin-mpp-playground
Toggle table of contents
0.1.0.0+42f3bb9
js
Platform filter
js
Switch theme
Search in API
kotlin-mpp-playground
web
/
xterm
/
IDecorationOptions
/
overviewRulerOptions
overview
Ruler
Options
js
open
var
overviewRulerOptions
:
IDecorationOverviewRulerOptions
?
(
source
)