KetraTerm
App
Library
API · v0.2.2
All versions
KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-completion
/
io.github.ketraterm.completion.api
/
TerminalCompletionContext
/
usedOptionExclusiveGroupIds
used
Option
Exclusive
Group
Ids
val
usedOptionExclusiveGroupIds
:
Set
<
String
>
KetraTerm