/// <summary>
/// Refresh the state of the command bar buttons when text changes.
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void ViewPort_TextChanged(object sender, TextChangedEventArgs e)
{
if (document_.IsEncodingChanging)
{
document_.EndChangeEncoding();
document_.IsModified = false;
return;
}
document_.IsModified = true;
}