KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-workspace
/
io.github.ketraterm.workspace
/
TerminalProfileKind
/
DEFAULT
DEFAULT
DEFAULT
Unknown or custom terminal command.
Members
Properties
name
Link copied to clipboard
val
name
:
String
ordinal
Link copied to clipboard
val
ordinal
:
Int