KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-workspace
/
io.github.ketraterm.workspace
/
TerminalWorkspace
/
selectTab
select
Tab
fun
selectTab
(
id
:
String
)
Selects an existing tab.
Parameters
id
tab id.