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

r2271:62858c7c
r2665:b82bf681
Show More
test_imports.py
5 lines | 43 B | text/x-python | PythonLexer
#!/usr/bin/env python
# encoding: utf-8