##// END OF EJS Templates
Merge pull request #12337 from meeseeksmachine/auto-backport-of-pr-12335-on-7.x
Matthias Bussonnier -
r25759:7dc6d565 merge
parent child Browse files
Show More
@@ -102,7 +102,11 b' class TerminalInteractiveShell(InteractiveShell):'
102 102 mime_renderers = Dict().tag(config=True)
103 103
104 104 space_for_menu = Integer(6, help='Number of line at the bottom of the screen '
105 'to reserve for the completion menu'
105 'to reserve for the tab completion menu, '
106 'search history, ...etc, the height of '
107 'these menus will at most this value. '
108 'Increase it is you prefer long and skinny '
109 'menus, decrease for short and wide.'
106 110 ).tag(config=True)
107 111
108 112 pt_app = None
General Comments 0
You need to be logged in to leave comments. Login now