FreshRSS/NetNewsWire
1
0
Fork 0
mirror of https://github.com/Ranchero-Software/NetNewsWire.git synced 2024-12-25 17:12:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

Avoid resetting the save timer so often during a refresh session. Instead just remove it (if refreshing) and add it back when the refresh session ends.

Browse Source
This commit is contained in:
Brent Simmons 2017-10-07 20:24:58 -07:00
parent 0ba557736e
commit c52eb024ab
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Frameworks/Account/Account.swift
View File

@ -46,8 +46,16 @@ public final class Account: DisplayNameProvider, Hashable {
var username: String?
var saveTimer: Timer?
private var dirty = false {
var dirty = false {
didSet {
if refreshInProgress {
if let _ = saveTimer {
removeSaveTimer()
}
return
}
if dirty {
resetSaveTimer()
}
@ -65,6 +73,9 @@ public final class Account: DisplayNameProvider, Hashable {
}
else {
NotificationCenter.default.post(name: .AccountRefreshDidFinish, object: self)
if dirty {
resetSaveTimer()
}
}
}
}