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
/
SearchOverlayListener
/
onCaseSensitivityChanged
on
Case
Sensitivity
Changed
abstract
fun
onCaseSensitivityChanged
(
ignoreCase
:
Boolean
)
Invoked when case sensitivity toggles.
Parameters
ignore
Case
true
if case-insensitive,
false
otherwise.