API · v0.1.0-alpha01All versions

Target filter

jvm

Search in API

Skip to content

KetraTerm

ketraterm-workspace/io.github.ketraterm.workspace/TerminalProfileKind/DEFAULT

DEFAULT

Unknown or custom terminal command.

Properties

Link copied to clipboard

val name: String

Link copied to clipboard

val ordinal: Int

Generated by Dokka

© 2026 Copyright