private void RecentFilePropertyChanged(object sender, PropertyChangedEventArgs e)
{
if (e.PropertyName == nameof(RecentFile.IsPinned))
{
RecentFile recentFile = (RecentFile)sender;
int oldIndex = recentFiles.IndexOf(recentFile);
if (recentFile.IsPinned)
{
recentFiles.Move(oldIndex, 0);
}
else
{
int newIndex = PinCount;
if (oldIndex != newIndex)
{
recentFiles.Move(oldIndex, newIndex);
}
}
}
}
}