fix(ui): running tasks are now less twitchy

This commit is contained in:
Folke Lemaitre 2023-10-17 10:29:48 +02:00
parent c7298a10db
commit 7613ab2abb
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
3 changed files with 24 additions and 5 deletions

View file

@ -8,6 +8,7 @@
---@field loaded? {[string]:string}|{time:number}
---@field installed? boolean
---@field tasks? LazyTask[]
---@field working? boolean
---@field dirty? boolean
---@field updated? {from:string, to:string}
---@field is_local? boolean