// Copyright 2016 Joe Wilm, The Alacritty Project Contributors // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. //! A specialized 2d grid implementation optimized for use in a terminal. use std::cmp::{min, max, Ordering}; use std::ops::{Deref, Range, Index, IndexMut, RangeTo, RangeFrom, RangeFull}; use crate::index::{self, Point, Line, Column, IndexRange}; use crate::selection::Selection; mod row; pub use self::row::Row; #[cfg(test)] mod tests; mod storage; use self::storage::Storage; const MIN_INIT_SIZE: usize = 1_000; /// Bidirection iterator pub trait BidirectionalIterator: Iterator { fn prev(&mut self) -> Option; } /// An item in the grid along with its Line and Column. pub struct Indexed { pub inner: T, pub line: Line, pub column: Column, } impl Deref for Indexed { type Target = T; #[inline] fn deref(&self) -> &T { &self.inner } } impl ::std::cmp::PartialEq for Grid { fn eq(&self, other: &Self) -> bool { // Compare struct fields and check result of grid comparison self.raw.eq(&other.raw) && self.cols.eq(&other.cols) && self.lines.eq(&other.lines) && self.display_offset.eq(&other.display_offset) && self.scroll_limit.eq(&other.scroll_limit) && self.selection.eq(&other.selection) } } /// Represents the terminal display contents #[derive(Clone, Debug, Deserialize, Serialize)] pub struct Grid { /// Lines in the grid. Each row holds a list of cells corresponding to the /// columns in that row. raw: Storage, /// Number of columns cols: index::Column, /// Number of lines. /// /// Invariant: lines is equivalent to raw.len() lines: index::Line, /// Offset of displayed area /// /// If the displayed region isn't at the bottom of the screen, it stays /// stationary while more text is emitted. The scrolling implementation /// updates this offset accordingly. #[serde(default)] display_offset: usize, /// An limit on how far back it's possible to scroll #[serde(default)] scroll_limit: usize, /// Selected region #[serde(skip)] pub selection: Option, #[serde(default)] max_scroll_limit: usize, } pub struct GridIterator<'a, T> { /// Immutable grid reference grid: &'a Grid, /// Current position of the iterator within the grid. pub cur: Point, } #[derive(Copy, Clone)] pub enum Scroll { Lines(isize), PageUp, PageDown, Top, Bottom, } #[derive(Copy, Clone)] pub enum ViewportPosition { Visible(Line), Above, Below, } impl Grid { pub fn new(lines: index::Line, cols: index::Column, scrollback: usize, template: T) -> Grid { let raw = Storage::with_capacity(lines, Row::new(cols, &template)); Grid { raw, cols, lines, display_offset: 0, scroll_limit: 0, selection: None, max_scroll_limit: scrollback, } } pub fn visible_to_buffer(&self, point: Point) -> Point { Point { line: self.visible_line_to_buffer(point.line), col: point.col } } pub fn buffer_line_to_visible(&self, line: usize) -> ViewportPosition { let offset = line.saturating_sub(self.display_offset); if line < self.display_offset { ViewportPosition::Below } else if offset >= *self.num_lines() { ViewportPosition::Above } else { ViewportPosition::Visible(self.lines - offset - 1) } } pub fn visible_line_to_buffer(&self, line: Line) -> usize { self.line_to_offset(line) + self.display_offset } /// Update the size of the scrollback history pub fn update_history(&mut self, history_size: usize, template: &T) { self.raw.update_history(history_size, Row::new(self.cols, &template)); self.max_scroll_limit = history_size; self.scroll_limit = min(self.scroll_limit, history_size); self.display_offset = min(self.display_offset, self.scroll_limit); } pub fn scroll_display(&mut self, scroll: Scroll) { match scroll { Scroll::Lines(count) => { self.display_offset = min( max((self.display_offset as isize) + count, 0isize) as usize, self.scroll_limit ); }, Scroll::PageUp => { self.display_offset = min( self.display_offset + self.lines.0, self.scroll_limit ); }, Scroll::PageDown => { self.display_offset -= min( self.display_offset, self.lines.0 ); }, Scroll::Top => self.display_offset = self.scroll_limit, Scroll::Bottom => self.display_offset = 0, } } pub fn resize( &mut self, lines: index::Line, cols: index::Column, template: &T, ) { // Check that there's actually work to do and return early if not if lines == self.lines && cols == self.cols { return; } match self.lines.cmp(&lines) { Ordering::Less => self.grow_lines(lines, template), Ordering::Greater => self.shrink_lines(lines), Ordering::Equal => (), } match self.cols.cmp(&cols) { Ordering::Less => self.grow_cols(cols, template), Ordering::Greater => self.shrink_cols(cols), Ordering::Equal => (), } } fn increase_scroll_limit(&mut self, count: usize, template: &T) { self.scroll_limit = min(self.scroll_limit + count, self.max_scroll_limit); // Initialize new lines when the history buffer is smaller than the scroll limit let history_size = self.raw.len().saturating_sub(*self.lines); if history_size < self.scroll_limit { let new = min( max(self.scroll_limit - history_size, MIN_INIT_SIZE), self.max_scroll_limit - history_size, ); self.raw.initialize(new, Row::new(self.cols, template)); } } fn decrease_scroll_limit(&mut self, count: usize) { self.scroll_limit = self.scroll_limit.saturating_sub(count); } /// Add lines to the visible area /// /// Alacritty keeps the cursor at the bottom of the terminal as long as there /// is scrollback available. Once scrollback is exhausted, new lines are /// simply added to the bottom of the screen. fn grow_lines( &mut self, new_line_count: index::Line, template: &T, ) { let lines_added = new_line_count - self.lines; // Need to "resize" before updating buffer self.raw.grow_visible_lines(new_line_count, Row::new(self.cols, template)); self.lines = new_line_count; // Move existing lines up if there is no scrollback to fill new lines if lines_added.0 > self.scroll_limit { let scroll_lines = lines_added - self.scroll_limit; self.scroll_up(&(Line(0)..new_line_count), scroll_lines, template); } self.scroll_limit = self.scroll_limit.saturating_sub(*lines_added); } fn grow_cols(&mut self, cols: index::Column, template: &T) { for row in self.raw.iter_mut_raw() { row.grow(cols, template); } // Update self cols self.cols = cols; } fn shrink_cols(&mut self, cols: index::Column) { for row in self.raw.iter_mut_raw() { row.shrink(cols); } self.cols = cols; } /// Remove lines from the visible area /// /// The behavior in Terminal.app and iTerm.app is to keep the cursor at the /// bottom of the screen. This is achieved by pushing history "out the top" /// of the terminal window. /// /// Alacritty takes the same approach. fn shrink_lines(&mut self, target: index::Line) { let prev = self.lines; self.selection = None; self.raw.rotate(*prev as isize - *target as isize); self.raw.shrink_visible_lines(target); self.lines = target; } /// Convert a Line index (active region) to a buffer offset /// /// # Panics /// /// This method will panic if `Line` is larger than the grid dimensions pub fn line_to_offset(&self, line: index::Line) -> usize { assert!(line < self.num_lines()); *(self.num_lines() - line - 1) } #[inline] pub fn scroll_down( &mut self, region: &Range, positions: index::Line, template: &T, ) { // Whether or not there is a scrolling region active, as long as it // starts at the top, we can do a full rotation which just involves // changing the start index. // // To accomodate scroll regions, rows are reordered at the end. if region.start == Line(0) { // Rotate the entire line buffer. If there's a scrolling region // active, the bottom lines are restored in the next step. self.raw.rotate_up(*positions); if let Some(ref mut selection) = self.selection { selection.rotate(-(*positions as isize)); } self.decrease_scroll_limit(*positions); // Now, restore any scroll region lines let lines = self.lines; for i in IndexRange(region.end .. lines) { self.raw.swap_lines(i, i + positions); } // Finally, reset recycled lines for i in IndexRange(Line(0)..positions) { self.raw[i].reset(&template); } } else { // Subregion rotation for line in IndexRange((region.start + positions)..region.end).rev() { self.raw.swap_lines(line, line - positions); } for line in IndexRange(region.start .. (region.start + positions)) { self.raw[line].reset(&template); } } } /// scroll_up moves lines at the bottom towards the top /// /// This is the performance-sensitive part of scrolling. pub fn scroll_up( &mut self, region: &Range, positions: index::Line, template: &T ) { if region.start == Line(0) { // Update display offset when not pinned to active area if self.display_offset != 0 { self.display_offset = min( self.display_offset + *positions, self.len() - self.num_lines().0, ); } self.increase_scroll_limit(*positions, template); // Rotate the entire line buffer. If there's a scrolling region // active, the bottom lines are restored in the next step. self.raw.rotate(-(*positions as isize)); if let Some(ref mut selection) = self.selection { selection.rotate(*positions as isize); } // // This next loop swaps "fixed" lines outside of a scroll region // // back into place after the rotation. The work is done in buffer- // // space rather than terminal-space to avoid redundant // // transformations. let fixed_lines = *self.num_lines() - *region.end; for i in 0..fixed_lines { self.raw.swap(i, i + *positions); } // Finally, reset recycled lines // // Recycled lines are just above the end of the scrolling region. for i in 0..*positions { self.raw[i + fixed_lines].reset(&template); } } else { // Subregion rotation for line in IndexRange(region.start..(region.end - positions)) { self.raw.swap_lines(line, line + positions); } // Clear reused lines for line in IndexRange((region.end - positions) .. region.end) { self.raw[line].reset(&template); } } } } #[allow(clippy::len_without_is_empty)] impl Grid { #[inline] pub fn num_lines(&self) -> index::Line { self.lines } pub fn display_iter(&self) -> DisplayIter<'_, T> { DisplayIter::new(self) } #[inline] pub fn num_cols(&self) -> index::Column { self.cols } pub fn clear_history(&mut self) { self.scroll_limit = 0; } #[inline] pub fn scroll_limit(&self) -> usize { self.scroll_limit } /// Total number of lines in the buffer, this includes scrollback + visible lines #[inline] pub fn len(&self) -> usize { self.raw.len() } #[inline] pub fn history_size(&self) -> usize { self.raw.len().saturating_sub(*self.lines) } /// This is used only for initializing after loading ref-tests pub fn initialize_all(&mut self, template: &T) where T: Copy { let history_size = self.raw.len().saturating_sub(*self.lines); self.raw.initialize(self.max_scroll_limit - history_size, Row::new(self.cols, template)); } /// This is used only for truncating before saving ref-tests pub fn truncate(&mut self) { self.raw.truncate(); } pub fn iter_from(&self, point: Point) -> GridIterator<'_, T> { GridIterator { grid: self, cur: point, } } #[inline] pub fn contains(&self, point: &Point) -> bool { self.lines > point.line && self.cols > point.col } #[inline] pub fn display_offset(&self) -> usize { self.display_offset } } impl<'a, T> Iterator for GridIterator<'a, T> { type Item = &'a T; fn next(&mut self) -> Option { let last_col = self.grid.num_cols() - Column(1); match self.cur { Point { line, col } if line == 0 && col == last_col => None, Point { col, .. } if (col == last_col) => { self.cur.line -= 1; self.cur.col = Column(0); Some(&self.grid[self.cur.line][self.cur.col]) }, _ => { self.cur.col += Column(1); Some(&self.grid[self.cur.line][self.cur.col]) } } } } impl<'a, T> BidirectionalIterator for GridIterator<'a, T> { fn prev(&mut self) -> Option { let num_cols = self.grid.num_cols(); match self.cur { Point { line, col: Column(0) } if line == self.grid.len() - 1 => None, Point { col: Column(0), .. } => { self.cur.line += 1; self.cur.col = num_cols - Column(1); Some(&self.grid[self.cur.line][self.cur.col]) }, _ => { self.cur.col -= Column(1); Some(&self.grid[self.cur.line][self.cur.col]) } } } } /// Index active region by line impl Index for Grid { type Output = Row; #[inline] fn index(&self, index: index::Line) -> &Row { &self.raw[index] } } /// Index with buffer offset impl Index for Grid { type Output = Row; #[inline] fn index(&self, index: usize) -> &Row { &self.raw[index] } } impl IndexMut for Grid { #[inline] fn index_mut(&mut self, index: index::Line) -> &mut Row { &mut self.raw[index] } } impl<'point, T> Index<&'point Point> for Grid { type Output = T; #[inline] fn index<'a>(&'a self, point: &Point) -> &'a T { &self[point.line][point.col] } } impl<'point, T> IndexMut<&'point Point> for Grid { #[inline] fn index_mut<'a, 'b>(&'a mut self, point: &'b Point) -> &'a mut T { &mut self[point.line][point.col] } } // ------------------------------------------------------------------------------------------------- // REGIONS // ------------------------------------------------------------------------------------------------- /// A subset of lines in the grid /// /// May be constructed using Grid::region(..) pub struct Region<'a, T> { start: Line, end: Line, raw: &'a Storage, } /// A mutable subset of lines in the grid /// /// May be constructed using Grid::region_mut(..) pub struct RegionMut<'a, T> { start: Line, end: Line, raw: &'a mut Storage, } impl<'a, T> RegionMut<'a, T> { /// Call the provided function for every item in this region pub fn each(self, func: F) { for row in self { for item in row { func(item) } } } } pub trait IndexRegion { /// Get an immutable region of Self fn region(&self, _: I) -> Region<'_, T>; /// Get a mutable region of Self fn region_mut(&mut self, _: I) -> RegionMut<'_, T>; } impl IndexRegion, T> for Grid { fn region(&self, index: Range) -> Region<'_, T> { assert!(index.start < self.num_lines()); assert!(index.end <= self.num_lines()); assert!(index.start <= index.end); Region { start: index.start, end: index.end, raw: &self.raw } } fn region_mut(&mut self, index: Range) -> RegionMut<'_, T> { assert!(index.start < self.num_lines()); assert!(index.end <= self.num_lines()); assert!(index.start <= index.end); RegionMut { start: index.start, end: index.end, raw: &mut self.raw } } } impl IndexRegion, T> for Grid { fn region(&self, index: RangeTo) -> Region<'_, T> { assert!(index.end <= self.num_lines()); Region { start: Line(0), end: index.end, raw: &self.raw } } fn region_mut(&mut self, index: RangeTo) -> RegionMut<'_, T> { assert!(index.end <= self.num_lines()); RegionMut { start: Line(0), end: index.end, raw: &mut self.raw } } } impl IndexRegion, T> for Grid { fn region(&self, index: RangeFrom) -> Region<'_, T> { assert!(index.start < self.num_lines()); Region { start: index.start, end: self.num_lines(), raw: &self.raw } } fn region_mut(&mut self, index: RangeFrom) -> RegionMut<'_, T> { assert!(index.start < self.num_lines()); RegionMut { start: index.start, end: self.num_lines(), raw: &mut self.raw } } } impl IndexRegion for Grid { fn region(&self, _: RangeFull) -> Region<'_, T> { Region { start: Line(0), end: self.num_lines(), raw: &self.raw } } fn region_mut(&mut self, _: RangeFull) -> RegionMut<'_, T> { RegionMut { start: Line(0), end: self.num_lines(), raw: &mut self.raw } } } pub struct RegionIter<'a, T> { end: Line, cur: Line, raw: &'a Storage, } pub struct RegionIterMut<'a, T> { end: Line, cur: Line, raw: &'a mut Storage, } impl<'a, T> IntoIterator for Region<'a, T> { type Item = &'a Row; type IntoIter = RegionIter<'a, T>; fn into_iter(self) -> Self::IntoIter { RegionIter { end: self.end, cur: self.start, raw: self.raw } } } impl<'a, T> IntoIterator for RegionMut<'a, T> { type Item = &'a mut Row; type IntoIter = RegionIterMut<'a, T>; fn into_iter(self) -> Self::IntoIter { RegionIterMut { end: self.end, cur: self.start, raw: self.raw } } } impl<'a, T> Iterator for RegionIter<'a, T> { type Item = &'a Row; fn next(&mut self) -> Option { if self.cur < self.end { let index = self.cur; self.cur += 1; Some(&self.raw[index]) } else { None } } } impl<'a, T> Iterator for RegionIterMut<'a, T> { type Item = &'a mut Row; fn next(&mut self) -> Option { if self.cur < self.end { let index = self.cur; self.cur += 1; unsafe { Some(&mut *(&mut self.raw[index] as *mut _)) } } else { None } } } // ------------------------------------------------------------------------------------------------- // DISPLAY ITERATOR // ------------------------------------------------------------------------------------------------- /// Iterates over the visible area accounting for buffer transform pub struct DisplayIter<'a, T> { grid: &'a Grid, offset: usize, limit: usize, col: Column, line: Line, } impl<'a, T: 'a> DisplayIter<'a, T> { pub fn new(grid: &'a Grid) -> DisplayIter<'a, T> { let offset = grid.display_offset + *grid.num_lines() - 1; let limit = grid.display_offset; let col = Column(0); let line = Line(0); DisplayIter { grid, offset, col, limit, line } } pub fn offset(&self) -> usize { self.offset } pub fn column(&self) -> Column { self.col } pub fn line(&self) -> Line { self.line } } impl<'a, T: Copy + 'a> Iterator for DisplayIter<'a, T> { type Item = Indexed; #[inline] fn next(&mut self) -> Option { // Return None if we've reached the end. if self.offset == self.limit && self.grid.num_cols() == self.col { return None; } // Get the next item. let item = Some(Indexed { inner: self.grid.raw[self.offset][self.col], line: self.line, column: self.col }); // Update line/col to point to next item self.col += 1; if self.col == self.grid.num_cols() && self.offset != self.limit { self.offset -= 1; self.col = Column(0); self.line = Line(*self.grid.lines - 1 - (self.offset - self.limit)); } item } }