##// END OF EJS Templates
proportional font-size when editing heading cells...
proportional font-size when editing heading cells @MinRK @takluyver and I had the idea to do this when we were discussing #6225.
Paul Ivanov -
r17467:419586d3
Show More
Name Size Modified Last Commit Author
/ IPython / config / tests
__init__.py Loading ...
test_application.py Loading ...
test_configurable.py Loading ...
test_loader.py Loading ...