From 61a08c53e22b203fd5d4ff50d8126a1e43808f15 2018-02-18 19:22:14 From: Shailyn javier Ortiz jimenez Date: 2018-02-18 19:22:14 Subject: [PATCH] making prompt_tolkit history search configurable --- diff --git a/IPython/terminal/interactiveshell.py b/IPython/terminal/interactiveshell.py index 3ebd087..5ad6640 100644 --- a/IPython/terminal/interactiveshell.py +++ b/IPython/terminal/interactiveshell.py @@ -57,8 +57,6 @@ _style_overrides_linux = { Token.OutPromptNum: '#bb0000 bold', } - - def get_default_editor(): try: return os.environ['EDITOR'] @@ -271,7 +269,11 @@ class TerminalInteractiveShell(InteractiveShell): history=history, completer=IPythonPTCompleter(shell=self, patch_stdout=patch_stdout), - enable_history_search=True, + enable_history_search=( + os.environ['enable_history_search'].capitalize() + if 'enable_history_search' in os.environ + else True + ), style=self.style, mouse_support=self.mouse_support, **self._layout_options()