KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-ui-swing
/
io.github.ketraterm.ui.swing.search
/
TerminalSearchState
/
TerminalSearchState
Terminal
Search
State
constructor
(
query
:
String
,
resultCount
:
Int
,
activeResultIndex
:
Int
)