Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-21 19:26:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

terminal: delete/insertLines uses correct page for clearing

Browse Source
This commit is contained in:
Mitchell Hashimoto
2024-03-18 20:57:46 -07:00
parent 5e1f8b6cc4
commit 1f62284c26
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/terminal/Terminal.zig
View File

@ -1299,7 +1299,7 @@ pub fn insertLines(self: *Terminal, count: usize) void {
assert(dst_p.page == p.page); // TODO: handle different pages for left/right assert(dst_p.page == p.page); // TODO: handle different pages for left/right
// Left/right scroll margins we have to copy cells, which is much slower... // Left/right scroll margins we have to copy cells, which is much slower...
var page = &self.screen.cursor.page_pin.page.data; const page = &p.page.data;
page.moveCells( page.moveCells(
src, src,
self.scrolling_region.left, self.scrolling_region.left,
@ -1317,7 +1317,7 @@ pub fn insertLines(self: *Terminal, count: usize) void {
const row: *Row = p.rowAndCell().row; const row: *Row = p.rowAndCell().row;
// Clear the src row. // Clear the src row.
var page = &self.screen.cursor.page_pin.page.data; const page = &p.page.data;
const cells = page.getCells(row); const cells = page.getCells(row);
const cells_write = cells[self.scrolling_region.left .. self.scrolling_region.right + 1]; const cells_write = cells[self.scrolling_region.left .. self.scrolling_region.right + 1];
self.screen.clearCells(page, row, cells_write); self.screen.clearCells(page, row, cells_write);
@ -1412,7 +1412,7 @@ pub fn deleteLines(self: *Terminal, count_req: usize) void {
assert(src_p.page == p.page); // TODO: handle different pages for left/right assert(src_p.page == p.page); // TODO: handle different pages for left/right
// Left/right scroll margins we have to copy cells, which is much slower... // Left/right scroll margins we have to copy cells, which is much slower...
var page = &self.screen.cursor.page_pin.page.data; const page = &p.page.data;
page.moveCells( page.moveCells(
src, src,
self.scrolling_region.left, self.scrolling_region.left,
@ -1430,7 +1430,7 @@ pub fn deleteLines(self: *Terminal, count_req: usize) void {
const row: *Row = p.rowAndCell().row; const row: *Row = p.rowAndCell().row;
// Clear the src row. // Clear the src row.
var page = &self.screen.cursor.page_pin.page.data; const page = &p.page.data;
const cells = page.getCells(row); const cells = page.getCells(row);
const cells_write = cells[self.scrolling_region.left .. self.scrolling_region.right + 1]; const cells_write = cells[self.scrolling_region.left .. self.scrolling_region.right + 1];
self.screen.clearCells(page, row, cells_write); self.screen.clearCells(page, row, cells_write);