Merge pull request #11014 from ghost/make-prompt-tookit-history-search-configurable

minrk · web-flow · commit b65d977c8c5f · 2018-02-20T11:18:18.000+01:00
making prompt_tolkit history search configurable
diff --git a/IPython/terminal/interactiveshell.py b/IPython/terminal/interactiveshell.py
@@ -57,8 +57,6 @@ class _NoStyle(Style): pass
             Token.OutPromptNum: '#bb0000 bold',
 }
 
-
-
 def get_default_editor():
     try:
         return os.environ['EDITOR']
@@ -208,6 +206,10 @@ def _displayhook_class_default(self):
              "may be changed or removed in later releases."
     ).tag(config=True)
 
+    enable_history_search = Bool(True,
+        help="Allows to enable/disable the prompt toolkit history search"
+    ).tag(config=True)
+
     @observe('term_title')
     def init_term_title(self, change=None):
         # Enable or disable the terminal title.
@@ -271,7 +273,7 @@ def patch_stdout(**kwargs):
                             history=history,
                             completer=IPythonPTCompleter(shell=self,
                                                     patch_stdout=patch_stdout),
-                            enable_history_search=True,
+                            enable_history_search=self.enable_history_search,
                             style=self.style,
                             mouse_support=self.mouse_support,
                             **self._layout_options()
