mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-23 00:38:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

Simplify timer removal

Browse Source
This commit is contained in:
Kovid Goyal
2022-08-31 21:37:43 +05:30
parent dcec926590
commit 457aab7c41
2 changed files with 6 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tools/tui/loop/timers.go
View File

@@ -9,8 +9,9 @@ import (
func (self *Loop) dispatch_timers(now time.Time) error {
updated := false
remove := make(map[IdType]bool, 0)
for _, t := range self.timers {
self.timers_temp = self.timers_temp[:0]
self.timers_temp = append(self.timers_temp, self.timers...)
for i, t := range self.timers_temp {
if now.After(t.deadline) {
err := t.callback(t.id)
if err != nil {
@@ -20,19 +21,10 @@ func (self *Loop) dispatch_timers(now time.Time) error {
t.update_deadline(now)
updated = true
} else {
remove[t.id] = true
self.timers = append(self.timers[:i], self.timers[i+1:]...)
}
}
}
if len(remove) > 0 {
timers := make([]*timer, len(self.timers)-len(remove))
for _, t := range self.timers {
if !remove[t.id] {
timers = append(timers, t)
}
}
self.timers = timers
}
if updated {
self.sort_timers()
}