ketraterm-ui-swing/io.github.ketraterm.ui.swing.settings/SwingSettings/Builder/shellIntegrationPromptDotDiameter

shellIntegrationPromptDotDiameter

var shellIntegrationPromptDotDiameter: Int

Draft value for SwingSettings.shellIntegrationPromptDotDiameter; validated when build is called.