Skip to content

Make prompt_toolkit history search configurable #9961

Closed

Description

@takluyver

We currently hard-code it on, but people may want to disable it.

enable_history_search=True,

Activity

  1. added this to the wishlist milestone on Sep 19, 2016
  2. jzf2101 commented on Feb 18, 2018

    @jzf2101
    Contributor

    👏 Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions