//これはメインスレッドから呼び出すこと
public virtual void FullReset()
{
lock (_document) {
ChangeMode(TerminalMode.Normal);
_document.ClearScrollingRegion();
ResetInternal();
_decoder = new ISO2022CharDecoder(this, EncodingProfile.Get(GetTerminalSettings().Encoding));
}
}
//これはメインスレッドから呼び出すこと
public virtual void FullReset()
{
lock (_document) {
ChangeMode(TerminalMode.Normal);
_document.ClearScrollingRegion();
ResetInternal();
_encodingProfile = EncodingProfile.Create(GetTerminalSettings().Encoding);
_decoder = new ISO2022CharDecoder(this, _encodingProfile);
_unicodeCharConverter = _encodingProfile.CreateUnicodeCharConverter();
}
}