Dotty Documentation

0.5.0-bin-SNAPSHOT

object HistoryFilter
extends Object

[-] Constructors

[-] Members

[+] val cannotFindSearchMessage : String
[+] val emptySearchMessage : String
[+] def findNewHistoryIndex ( startIndex: Int , searchTerm: Vector [ Char ] , history: IndexedSeq [ String ] , indexIncrement: Int , skipped: Vector [ Char ] ) : ( Option [ Int ], Vector [ Char ], Int )
[+] def mangleBuffer ( historyFilter: HistoryFilter , buffer: Str , cursor: Int , startColor: Attr ) : Str