Package

ammonite.terminal

filters

Permalink

package filters

Visibility
  1. Public
  2. All

Type Members

  1. class HistoryFilter extends DelegateFilter

    Permalink

    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

    Permalink

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

    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!

  3. sealed class UndoState extends AnyRef

    Permalink

Value Members

  1. object BasicFilters

    Permalink

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

  2. object GUILikeFilters

    Permalink

    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

    Permalink
  4. object ReadlineFilters

    Permalink

    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

    Permalink
  6. object UndoState extends Enum

    Permalink

Ungrouped