Show More
@@ -206,6 +206,10 b' class TerminalInteractiveShell(InteractiveShell):' | |||||
206 | "may be changed or removed in later releases." |
|
206 | "may be changed or removed in later releases." | |
207 | ).tag(config=True) |
|
207 | ).tag(config=True) | |
208 |
|
208 | |||
|
209 | enable_history_search = Bool(True, | |||
|
210 | help="Allows to enable/disable the prompt toolkit history search" | |||
|
211 | ).tag(config=True) | |||
|
212 | ||||
209 | @observe('term_title') |
|
213 | @observe('term_title') | |
210 | def init_term_title(self, change=None): |
|
214 | def init_term_title(self, change=None): | |
211 | # Enable or disable the terminal title. |
|
215 | # Enable or disable the terminal title. | |
@@ -269,11 +273,7 b' class TerminalInteractiveShell(InteractiveShell):' | |||||
269 | history=history, |
|
273 | history=history, | |
270 | completer=IPythonPTCompleter(shell=self, |
|
274 | completer=IPythonPTCompleter(shell=self, | |
271 | patch_stdout=patch_stdout), |
|
275 | patch_stdout=patch_stdout), | |
272 |
enable_history_search= |
|
276 | enable_history_search=self.enable_history_search, | |
273 | os.environ['enable_history_search'].capitalize() |
|
|||
274 | if 'enable_history_search' in os.environ |
|
|||
275 | else True |
|
|||
276 | ), |
|
|||
277 | style=self.style, |
|
277 | style=self.style, | |
278 | mouse_support=self.mouse_support, |
|
278 | mouse_support=self.mouse_support, | |
279 | **self._layout_options() |
|
279 | **self._layout_options() |
General Comments 0
You need to be logged in to leave comments.
Login now