/// <summary>
/// Updates the title of the Main editor window to reflect the currently-open document and
/// whether it has been modified by the user or not.
/// </summary>
private void UpdateTitle()
{
string documentPath =
DocumentPath == null ?
"unsaved" :
DocumentPath.Split('/', '\\').Last();
this.Text = String.Format("{0}{1} - {2}",
documentPath,
DocumentModified ? "*" : "",
String.Format(Properties.Resources.TitleBarName, Properties.Resources.VersionString));
}