KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-workspace
/
io.github.ketraterm.workspace
/
TerminalWorkspaceTab
/
customTitle
custom
Title
var
customTitle
:
String
?
Optional custom title set by the user. If null, falls back to the dynamic PTY title.