##// 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.

File last commit:

r2320:99d6b43c
r2665:b82bf681
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer