KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-ui-swing
/
io.github.ketraterm.ui.swing.settings
/
SwingSettings
/
shellIntegrationDecorationGutterWidth
shell
Integration
Decoration
Gutter
Width
val
shellIntegrationDecorationGutterWidth
:
Int