Fixed a bug.
Fixed a bug where, after a Terminal reset, the font would revert to the default.