##// END OF EJS Templates
Make "reserve_space_for_menu" configurable....
Make "reserve_space_for_menu" configurable. If would be nice to have that dynamic, especially since it already appear to be configurable when using the `%config` magic. Though it does not seem to be obvious to do in PTK, unless we recalculate the full layout for the application, and reset it.
Matthias Bussonnier -
r22276:4dc72dc6
Show More
Name Size Modified Last Commit Author
/ IPython
core
extensions
external
kernel
lib
sphinxext
terminal
testing
utils
__init__.py Loading ...
__main__.py Loading ...
config.py Loading ...
consoleapp.py Loading ...
display.py Loading ...
frontend.py Loading ...
html.py Loading ...
nbconvert.py Loading ...
nbformat.py Loading ...
parallel.py Loading ...
paths.py Loading ...
qt.py Loading ...