##// END OF EJS Templates
making prompt_tolkit history search configurable
Shailyn javier Ortiz jimenez -
Show More
@@ -57,8 +57,6 b' _style_overrides_linux = {'
57 Token.OutPromptNum: '#bb0000 bold',
57 Token.OutPromptNum: '#bb0000 bold',
58 }
58 }
59
59
60
61
62 def get_default_editor():
60 def get_default_editor():
63 try:
61 try:
64 return os.environ['EDITOR']
62 return os.environ['EDITOR']
@@ -271,7 +269,11 b' class TerminalInteractiveShell(InteractiveShell):'
271 history=history,
269 history=history,
272 completer=IPythonPTCompleter(shell=self,
270 completer=IPythonPTCompleter(shell=self,
273 patch_stdout=patch_stdout),
271 patch_stdout=patch_stdout),
274 enable_history_search=True,
272 enable_history_search=(
273 os.environ['enable_history_search'].capitalize()
274 if 'enable_history_search' in os.environ
275 else True
276 ),
275 style=self.style,
277 style=self.style,
276 mouse_support=self.mouse_support,
278 mouse_support=self.mouse_support,
277 **self._layout_options()
279 **self._layout_options()
General Comments 0
You need to be logged in to leave comments. Login now