From ed3b2fa6c89c17c2a0a01a98809e759078af498b Mon Sep 17 00:00:00 2001 From: Manos Pitsidianakis Date: Fri, 24 Jul 2020 22:06:19 +0300 Subject: [PATCH] types.rs: add JobCanceled event --- src/components/utilities.rs | 3 ++- src/types.rs | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/components/utilities.rs b/src/components/utilities.rs index 6bc1287e..a005b671 100644 --- a/src/components/utilities.rs +++ b/src/components/utilities.rs @@ -1163,7 +1163,8 @@ impl Component for StatusBar { self.status = format!("{} | {}", self.mode, std::mem::replace(s, String::new())); self.dirty = true; } - UIEvent::StatusEvent(StatusEvent::JobFinished(ref job_id)) => { + UIEvent::StatusEvent(StatusEvent::JobCanceled(ref job_id)) + | UIEvent::StatusEvent(StatusEvent::JobFinished(ref job_id)) => { self.in_progress_jobs.remove(job_id); if self.in_progress_jobs.is_empty() { self.progress_spinner.stop(); diff --git a/src/types.rs b/src/types.rs index 83263015..872f0872 100644 --- a/src/types.rs +++ b/src/types.rs @@ -55,6 +55,7 @@ pub enum StatusEvent { UpdateStatus(String), NewJob(JobId), JobFinished(JobId), + JobCanceled(JobId), } /// `ThreadEvent` encapsulates all of the possible values we need to transfer between our threads