ammonite.terminal

filters

package filters

Visibility
  1. Public
  2. All

Type Members

  1. class HistoryFilter 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.

  2. case class UndoFilter(maxUndo: Int = 25) extends DelegateFilter with Product with Serializable

    A filter that implements "undo" functionality in the ammonite REPL.

  3. sealed class UndoState extends AnyRef

Value Members

  1. object BasicFilters

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

  2. object GUILikeFilters

    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.

  3. object HistoryFilter

  4. object ReadlineFilters

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

  5. object UndoFilter extends Serializable

  6. object UndoState extends Enum

Ungrouped