##// END OF EJS Templates
Make "reserve_space_for_menu" configurable....
Matthias Bussonnier -
Show More
@@ -13,7 +13,7 b' from IPython.core.interactiveshell import InteractiveShell'
13 from IPython.utils.py3compat import PY3, cast_unicode_py2, input
13 from IPython.utils.py3compat import PY3, cast_unicode_py2, input
14 from IPython.utils.terminal import toggle_set_term_title, set_term_title
14 from IPython.utils.terminal import toggle_set_term_title, set_term_title
15 from IPython.utils.process import abbrev_cwd
15 from IPython.utils.process import abbrev_cwd
16 from traitlets import Bool, CBool, Unicode, Dict
16 from traitlets import Bool, CBool, Unicode, Dict, Integer
17
17
18 from prompt_toolkit.completion import Completer, Completion
18 from prompt_toolkit.completion import Completer, Completion
19 from prompt_toolkit.enums import DEFAULT_BUFFER, SEARCH_BUFFER
19 from prompt_toolkit.enums import DEFAULT_BUFFER, SEARCH_BUFFER
@@ -89,6 +89,9 b' class IPythonPTLexer(Lexer):'
89 class TerminalInteractiveShell(InteractiveShell):
89 class TerminalInteractiveShell(InteractiveShell):
90 colors_force = True
90 colors_force = True
91
91
92 space_for_menu = Integer(6, config=True, help='space at the bottom of the screen to reserve for'
93 'the completion menu')
94
92 pt_cli = None
95 pt_cli = None
93
96
94 autoedit_syntax = CBool(False, config=True,
97 autoedit_syntax = CBool(False, config=True,
@@ -253,7 +256,7 b' class TerminalInteractiveShell(InteractiveShell):'
253 enable_history_search=True,
256 enable_history_search=True,
254 style=style,
257 style=style,
255 mouse_support=self.mouse_support,
258 mouse_support=self.mouse_support,
256 reserve_space_for_menu=6,
259 reserve_space_for_menu=self.space_for_menu,
257 )
260 )
258
261
259 self.pt_cli = CommandLineInterface(app,
262 self.pt_cli = CommandLineInterface(app,
General Comments 0
You need to be logged in to leave comments. Login now