Send this page to somebody
Fill in the email address of your friend to send an email with the address.
Page summary
Terminal widget is inefficient
Currently the terminal widget spends far too much time drawing characters, especially during scrolling. This could be alleviated by keeping a shadow buffer of the characters actually onscreen, and drawing only the individual characters that changed. The update rectangle would still be useful as bounds for comparing the buffers.