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_terminal/src/grid/mod.rs | |
| parent | d526649ee67237a1bedad8228f1f017035ddad3f (diff) | |
| download | alacritty-87e5b1aa25ea61937fa5f79668d2a46e88707c5e.tar.gz 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_terminal/src/grid/mod.rs')
| -rw-r--r-- | alacritty_terminal/src/grid/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/alacritty_terminal/src/grid/mod.rs b/alacritty_terminal/src/grid/mod.rs index 0c338fba..d5932639 100644 --- a/alacritty_terminal/src/grid/mod.rs +++ b/alacritty_terminal/src/grid/mod.rs @@ -148,7 +148,7 @@ pub struct Grid<T> { max_scroll_limit: usize, } -#[derive(Copy, Clone)] +#[derive(Debug, Copy, Clone)] pub enum Scroll { Lines(isize), PageUp, |