PuffTheMagic/wTerm — Issue #6: Refresh display automatically after font size change.
Author: PuffTheMagic
Created: 2011-12-30 18:16:10+00:00
State: open

After the font size is changed, the display is not updated until the user presses a printable character. Figure out how to do this automatically with out input.