Restore codec to profile setting or previous codec upon reset.
author Kurt Hindenburg
()
committer Kurt Hindenburg
()
commit 4c4b686a30a849af450cce7d140c8eafbf467627
tree c76c655469387c8ae45e004406b7ae1418feb6c8
parent 1b2ba0ae777f520e024cce78fc14790d35b1e167
Restore codec to profile setting or previous codec upon reset.

Previously, after typing in 'reset' or using 'Clear Scrollback & Reset',
the current codec is lost.

With this patch, typing in 'reset' will cause the codec to stay what
it was before the reset. Using the 'Clear Scrollback & Reset' will
cause the codec to be set to the Profile setting.

This may get backported to 4.6.x
BUG: 123866
BUG: 273959
FIXED-IN: 4.7
REVIEW: 101565
(cherry picked from commit 27182ebbadb8bcf406cba74be1888125e54fe63f)
src/SessionController.cpp
src/Vt102Emulation.cpp