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")); }