static void OnFileCopied(FileRenameEventArgs e)
{
if (FileCopied != null)
{
FileCopied(null, e);
}
}
/// <summary>
/// Respond to changes in filenames by updating points in the history
/// to reflect the change.
/// </summary>
/// <param name="sender"/>
/// <param name="e"><see cref="FileRenameEventArgs"/> describing
/// the file rename.</param>
static void FileService_FileRenamed(object sender, FileRenameEventArgs e)
{
foreach (INavigationPoint p in history)
{
if (p.FileName.Equals(e.SourceFile))
{
p.FileNameChanged(e.TargetFile);
}
}
}
internal void FileRenamed(object sender, FileRenameEventArgs e)
{
for (int i = 0; i < lastfile.Count; ++i)
{
string file = lastfile[i].ToString();
if (e.SourceFile == file)
{
lastfile.RemoveAt(i);
lastfile.Insert(i, e.TargetFile);
break;
}
}
}
