##// 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
epatters -
r2800:bfd41c62
Show More
Name Size Modified Last Commit Author
/ IPython / frontend
qt
terminal
__init__.py Loading ...