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