diff options
author | Christian Duerr <contact@christianduerr.com> | 2020-06-18 01:02:56 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-18 01:02:56 +0000 |
commit | 87e5b1aa25ea61937fa5f79668d2a46e88707c5e (patch) | |
tree | 59205d2e00072a5f8737dc104f57fc940db0c2ec /alacritty/src/display.rs | |
parent | d526649ee67237a1bedad8228f1f017035ddad3f (diff) | |
download | r-alacritty-87e5b1aa25ea61937fa5f79668d2a46e88707c5e.tar.gz r-alacritty-87e5b1aa25ea61937fa5f79668d2a46e88707c5e.tar.bz2 r-alacritty-87e5b1aa25ea61937fa5f79668d2a46e88707c5e.zip |
Add automatic scrolling during selection
This adds a new `Scheduler` which allows for staging events to be
processed at a later time.
If there is a selection active and the mouse is above or below the
window, the viewport will now scroll torwards the direction of the
mouse. The amount of lines scrolled depends on the distance of the mouse
to the boundaries used for selection scrolling.
To make it possible to scroll while in fullscreen, the selection
scrolling area includes the padding of the window and is at least 5
pixels high in case there is not enough padding present.
Diffstat (limited to 'alacritty/src/display.rs')
-rw-r--r-- | alacritty/src/display.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/alacritty/src/display.rs b/alacritty/src/display.rs index 71c98559..d61a5bbd 100644 --- a/alacritty/src/display.rs +++ b/alacritty/src/display.rs @@ -23,7 +23,7 @@ use font::set_font_smoothing; use font::{self, Rasterize}; use alacritty_terminal::config::{Font, StartupMode}; -use alacritty_terminal::event::{Event, OnResize}; +use alacritty_terminal::event::OnResize; use alacritty_terminal::index::Line; use alacritty_terminal::message_bar::MessageBuffer; use alacritty_terminal::meter::Meter; @@ -119,7 +119,7 @@ pub struct Display { } impl Display { - pub fn new(config: &Config, event_loop: &EventLoop<Event>) -> Result<Display, Error> { + pub fn new<E>(config: &Config, event_loop: &EventLoop<E>) -> Result<Display, Error> { // Guess DPR based on first monitor. let estimated_dpr = event_loop.available_monitors().next().map(|m| m.scale_factor()).unwrap_or(1.); |