##// END OF EJS Templates
* Added API for setting the font of a ConsoleWidget....
* Added API for setting the font of a ConsoleWidget. * The ConsoleWidget now sets a better default font on most platforms.
epatters -
r2665:b82bf681
Show More
Name Size Modified Last Commit Author
/ IPython / quarantine / tests
__init__.py Loading ...