paulrouget/firefox-jsterm — pull request #17 by espadrine (2012-07-24 23:52:04+00:00)
Title: Performance fix when a great number of lines have been printed.

Issue was: resizing the editor for every textual addition and keeping the whole
editor visible makes it slow with a great number of lines.