##// 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 / deathrow / oldfrontend / cocoa
examples
plugin
tests
__init__.py Loading ...
cocoa_frontend.py Loading ...