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
/
ITerminalOptions
/
overviewRulerWidth
overview
Ruler
Width
js
open
var
overviewRulerWidth
:
Number
?
(
source
)