##// END OF EJS Templates
* Fixed bug where syntax highlighting was lost after updating a prompt with a bad number....
* Fixed bug where syntax highlighting was lost after updating a prompt with a bad number. * Minor cleanup and bug fix to ConsoleWidget's _insert_html_fetching_plain_text

File last commit:

r2009:2a0ba18d
r2800:bfd41c62
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer