private void OnClosed(object sender, CancelEventArgs e)
{
var windowInfo = new WindowPlacementInfo
{
Height = (int)Height,
Top = (int)Top,
Left = (int)Left,
Width = (int)Width,
WindowState = WindowState,
};
var filename = Path.ChangeExtension(persistingFilename, ".json");
PersistingSettings.Save(filename, windowInfo, Preferences);
var recentFileInfo = new RecentFileInfo {
RecentFilePaths = RecentFiles.ToList()
};
JsonHelper.SerializeToFile(recentFileInfo, Path.ChangeExtension(persistingRecentFileName, ".json"));
}
private void OnClosed(object sender, CancelEventArgs e)
{
var windowInfo = new WindowPlacementInfo
{
Height = (int)Height,
Top = (int)Top,
Left = (int)Left,
Width = (int)Width,
WindowState = WindowState
};
var filename = Path.ChangeExtension(persistingFilename, ".json");
JsonHelper.SerializeToFile(windowInfo, filename);
var recentFileInfo = new RecentFileInfo
{
RecentFilePaths = RecentFiles.ToList(),
};
JsonHelper.SerializeToFile(recentFileInfo, Path.ChangeExtension(persistingRecentFileName, ".json"));
}
