diff options
author | Adam Harrison <adamdharrison@gmail.com> | 2023-02-03 15:13:49 -0500 |
---|---|---|
committer | Adam Harrison <adamdharrison@gmail.com> | 2023-02-03 15:13:49 -0500 |
commit | 1106c6282520ec536825d0c6c6b80b8750c3f4c9 (patch) | |
tree | 767f8e244be227531a413eba3a1a71ac9a93b253 /src | |
parent | 8a4b7c14cfa49b98df4fd4d92e71d17d7cae43bf (diff) | |
download | lite-xl-plugin-manager-1106c6282520ec536825d0c6c6b80b8750c3f4c9.tar.gz lite-xl-plugin-manager-1106c6282520ec536825d0c6c6b80b8750c3f4c9.zip |
Added in progress bars to both GUI and regular.
Diffstat (limited to 'src')
-rw-r--r-- | src/lpm.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lpm.lua b/src/lpm.lua index 18d979c..0f71211 100644 --- a/src/lpm.lua +++ b/src/lpm.lua @@ -1877,7 +1877,7 @@ not commonly used publically. return end if not last_read then last_read = system.time() end - if not last_read or system.time() - last_read > 0.1 then + if not last_read or system.time() - last_read > 0.05 then io.stdout:write(json.encode({ progress = { percent = (received_objects and (received_objects/total_objects_or_content_length) or (total_read/total_objects_or_content_length) or 0), label = progress_bar_label } }) .. "\n") io.stdout:flush() last_read = system.time() |