diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-14 12:50:38 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-14 14:58:02 +0300 |
commit | 188e020bd1fdb4320ac44a6190b27d5ca7e44bae (patch) | |
tree | 0de55405aafdedc33b63ee98d9a1131bde34e7ae /src/types.rs | |
parent | 20840625d65db062a9f4a324f1265a24753cda83 (diff) |
Add opt-in mouse support
Sidebar width can be resized with mouse hold and drag.
Diffstat (limited to 'src/types.rs')
-rw-r--r-- | src/types.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/types.rs b/src/types.rs index 5d517d2b..5c690c57 100644 --- a/src/types.rs +++ b/src/types.rs @@ -55,6 +55,7 @@ pub enum StatusEvent { NewJob(JobId), JobFinished(JobId), JobCanceled(JobId), + SetMouse(bool), } /// `ThreadEvent` encapsulates all of the possible values we need to transfer between our threads |