Refresh automatically based on the setting in the General prefs pane. Fix #60.

This commit is contained in:
Brent Simmons
2019-01-27 18:00:09 -08:00
parent f742737288
commit 7df22a2b6f
3 changed files with 103 additions and 6 deletions

View File

@@ -592,7 +592,9 @@ private extension MainWindowController {
}
let widths = splitView.arrangedSubviews.map{ Int(floor($0.frame.width)) }
AppDefaults.mainWindowWidths = widths
if AppDefaults.mainWindowWidths != widths {
AppDefaults.mainWindowWidths = widths
}
}
func restoreSplitViewState() {