HistoryFilter

ammonite.terminal.filters.HistoryFilter$
See theHistoryFilter companion class

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def findNewHistoryIndex(startIndex: Int, searchTerm: Vector[Char], history: IndexedSeq[String], indexIncrement: Int, skipped: Vector[Char]): (Option[Int], Vector[Char], Int)

Attributes

history

The history we're searching through

indexIncrement

Which direction to search, +1 or -1

searchTerm

The term we're searching from; can be empty

skipped

Any buffers which we should skip in our search results, e.g. because the user has seen them before.

startIndex

The first index to start looking from

def mangleBuffer(historyFilter: HistoryFilter, buffer: Str, cursor: Int, startColor: Attr): Str

Concrete fields

val emptySearchMessage: String