diff options
| author | Stephan Dilly <dilly.stephan@gmail.com> | 2021-02-28 19:24:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-28 19:24:05 +0100 |
| commit | 39fb65b3961e19af1a00f349df8319f6ccbbee4a (patch) | |
| tree | 1886dab970a4a1e6abced2030b0ebd0ea9fd98e0 /src/queue.rs | |
| parent | c96feb0fe61b29194a44fe13c80d6d1ca5a691bb (diff) | |
Async fetch (#552)
* async fetch
* reuse remote progress for fetch
* prvent push/fetch popup from closing too soon
Diffstat (limited to 'src/queue.rs')
| -rw-r--r-- | src/queue.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/queue.rs b/src/queue.rs index dc9c6503..aa4694c0 100644 --- a/src/queue.rs +++ b/src/queue.rs @@ -62,6 +62,8 @@ pub enum InternalEvent { OpenExternalEditor(Option<String>), /// Push(String, bool), + /// + Fetch(String), } /// |