##// 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 mime_renderers = Dict().tag(config=True)
102 mime_renderers = Dict().tag(config=True)
103
103
104 space_for_menu = Integer(6, help='Number of line at the bottom of the screen '
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 ).tag(config=True)
110 ).tag(config=True)
107
111
108 pt_app = None
112 pt_app = None
General Comments 0
You need to be logged in to leave comments. Login now