mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-10-08 10:56:34 +00:00
hook up IND index
This commit is contained in:
@@ -674,6 +674,10 @@ pub fn reverseIndex(self: *Window) !void {
|
||||
try self.terminal.reverseIndex();
|
||||
}
|
||||
|
||||
pub fn index(self: *Window) !void {
|
||||
self.terminal.index();
|
||||
}
|
||||
|
||||
pub fn setTopAndBottomMargin(self: *Window, top: u16, bot: u16) !void {
|
||||
self.terminal.setScrollingRegion(top, bot);
|
||||
}
|
||||
|
Reference in New Issue
Block a user