diff options
author | Christian Duerr <contact@christianduerr.com> | 2020-06-23 09:57:15 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-23 12:57:15 +0300 |
commit | 43c0ad6ea9d2467ccf867a310c4f1e30f5b627c6 (patch) | |
tree | 18ca8bad91c9ca47d22fca45222566a462aaa303 /alacritty/src/scheduler.rs | |
parent | 87e5b1aa25ea61937fa5f79668d2a46e88707c5e (diff) | |
download | r-alacritty-43c0ad6ea9d2467ccf867a310c4f1e30f5b627c6.tar.gz r-alacritty-43c0ad6ea9d2467ccf867a310c4f1e30f5b627c6.tar.bz2 r-alacritty-43c0ad6ea9d2467ccf867a310c4f1e30f5b627c6.zip |
Add selection expansion
This allows for expanding the selection using the right mouse button.
The new selection type depends on the number of clicks and applies to
both sides of the selection.
Fixes #1554.
Diffstat (limited to 'alacritty/src/scheduler.rs')
-rw-r--r-- | alacritty/src/scheduler.rs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/alacritty/src/scheduler.rs b/alacritty/src/scheduler.rs index a6559acc..673029ae 100644 --- a/alacritty/src/scheduler.rs +++ b/alacritty/src/scheduler.rs @@ -46,13 +46,7 @@ impl Scheduler { } /// Schedule a new event. - pub fn schedule( - &mut self, - event: Event, - interval: Duration, - repeat: bool, - timer_id: TimerId, - ) { + pub fn schedule(&mut self, event: Event, interval: Duration, repeat: bool, timer_id: TimerId) { let deadline = Instant::now() + interval; // Get insert position in the schedule. |