ammonite.terminal.filters

Members list

Concise view

Type members

Classlikes

Filters for simple operation of a terminal: cursor-navigation (including with all the modifier keys), enter/ctrl-c-exit, etc.

Filters for simple operation of a terminal: cursor-navigation (including with all the modifier keys), enter/ctrl-c-exit, etc.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Filters have hook into the various {Ctrl,Shift,Fn,Alt}x{Up,Down,Left,Right} combination keys, and make them behave similarly as they would on a normal GUI text editor: alt-{left, right} for word movement, hold-down-shift for text selection, etc.

Filters have hook into the various {Ctrl,Shift,Fn,Alt}x{Up,Down,Left,Right} combination keys, and make them behave similarly as they would on a normal GUI text editor: alt-{left, right} for word movement, hold-down-shift for text selection, etc.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class HistoryFilter(history: () => IndexedSeq[String], commentStartColor: Attrs) extends DelegateFilter

Provides history navigation up and down, saving the current line, a well as history-search functionality (Ctrl R in bash) letting you quickly find & filter previous commands by entering a sub-string.

Provides history navigation up and down, saving the current line, a well as history-search functionality (Ctrl R in bash) letting you quickly find & filter previous commands by entering a sub-string.

Attributes

Companion:
object
Graph
Supertypes
trait Filter
class Object
trait Matchable
class Any

Attributes

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

Filters for injection of readline-specific hotkeys, the sort that are available in bash, python and most other interactive command-lines

Filters for injection of readline-specific hotkeys, the sort that are available in bash, python and most other interactive command-lines

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class UndoFilter(maxUndo: Int) extends DelegateFilter

A filter that implements "undo" functionality in the ammonite REPL. It shares the same Ctrl - hotkey that the bash undo, but shares behavior with the undo behavior in desktop text editors:

A filter that implements "undo" functionality in the ammonite REPL. It shares the same Ctrl - hotkey that the bash undo, but shares behavior with the undo behavior in desktop text editors:

  • Multiple deletes in a row get collapsed
  • In addition to edits you can undo cursor movements: undo will bring your cursor back to location of previous edits before it undoes them
  • Provides "redo" functionality under Alt -/Esc -: un-undo the things you didn't actually want to undo!

Attributes

maxUndo:

the maximum number of undo-frames that are stored.

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Filter
class Object
trait Matchable
class Any
object UndoFilter

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed class UndoState(val toString: String)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object UndoState extends Enum

Attributes

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