##// END OF EJS Templates
Merge pull request #9370 from jonathanslenders/reserved-height...
Matthias Bussonnier -
r22199:d4de7658 merge
parent child Browse files
Show More
@@ -201,6 +201,7 b' class TerminalInteractiveShell(InteractiveShell):'
201 enable_history_search=True,
201 enable_history_search=True,
202 style=style,
202 style=style,
203 mouse_support=self.mouse_support,
203 mouse_support=self.mouse_support,
204 reserve_space_for_menu=6,
204 )
205 )
205
206
206 self.pt_cli = CommandLineInterface(app,
207 self.pt_cli = CommandLineInterface(app,
@@ -195,7 +195,7 b' install_requires = ['
195 'pickleshare',
195 'pickleshare',
196 'simplegeneric>0.8',
196 'simplegeneric>0.8',
197 'traitlets',
197 'traitlets',
198 'prompt_toolkit>=0.58',
198 'prompt_toolkit>=0.60',
199 'pygments',
199 'pygments',
200 'backports.shutil_get_terminal_size',
200 'backports.shutil_get_terminal_size',
201 ]
201 ]
General Comments 0
You need to be logged in to leave comments. Login now