mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-10-04 00:46:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

move selection to screen

Browse Source
This commit is contained in:
Mitchell Hashimoto
2023-03-21 10:43:50 -07:00
parent 88a7b3067a
commit dfb40426a0
5 changed files with 26 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/terminal/Terminal.zig
View File

@@ -15,7 +15,6 @@ const ansi = @import("ansi.zig");
const charsets = @import("charsets.zig");
const csi = @import("csi.zig");
const sgr = @import("sgr.zig");
const Selection = @import("Selection.zig");
const Tabstops = @import("Tabstops.zig");
const trace = @import("tracy").trace;
const color = @import("color.zig");
@@ -39,9 +38,6 @@ active_screen: ScreenType,
screen: Screen,
secondary_screen: Screen,
/// The current selection (if any).
selection: ?Selection = null,
/// Whether we're currently writing to the status line (DECSASD and DECSSDT).
/// We don't support a status line currently so we just black hole this
/// data so that it doesn't mess up our main display.
@@ -204,7 +200,7 @@ pub fn alternateScreen(self: *Terminal, options: AlternateScreenOptions) void {
self.screen.cursor = .{};
// Clear our selection
self.selection = null;
self.screen.selection = null;
if (options.clear_on_enter) {
self.eraseDisplay(.complete);
@@ -231,7 +227,7 @@ pub fn primaryScreen(self: *Terminal, options: AlternateScreenOptions) void {
self.active_screen = .primary;
// Clear our selection
self.selection = null;
self.screen.selection = null;
// Restore the cursor from the primary screen
if (options.cursor_save) self.restoreCursor();
@@ -1393,7 +1389,6 @@ pub fn setScrollingRegion(self: *Terminal, top: usize, bottom: usize) void {
/// Full reset
pub fn fullReset(self: *Terminal) void {
self.primaryScreen(.{ .clear_on_exit = true, .cursor_save = true });
self.selection = null;
self.charset = .{};
self.eraseDisplay(.scrollback);
self.eraseDisplay(.complete);
@@ -1401,6 +1396,7 @@ pub fn fullReset(self: *Terminal) void {
self.tabstops.reset(0);
self.screen.cursor = .{};
self.screen.saved_cursor = .{};
self.screen.selection = null;
self.scrolling_region = .{ .top = 0, .bottom = self.rows - 1 };
self.previous_char = null;
}