SelectionFilter
GUILikeFilters
ShiftDown
SpecialKeys
ShiftLeft
SpecialKeys
ShiftRight
SpecialKeys
ShiftUp
SpecialKeys
SpecialKeys
terminal
Strings
terminal
s
Result
searchHistory
HistoryFilter
searchOrHistoryAnd
HistoryFilter
searchTerm
HistoryFilter
setMark
SelectionFilter
simple
Filter
splitBuffer
Terminal
startHistory
HistoryFilter
state
UndoFilter
stdout
Printing
stringPrefix
Strings
stringSeqPrefix
Strings
stty
TTY
sttyFailTolerant
TTY