mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-14 15:56:13 +03:00
Merge pull request #1139 from rockorager/terminfo-fix
terminfo: fix `xr` and `rv`
This commit is contained in:
@ -135,11 +135,11 @@ pub const ghostty: Source = .{
|
|||||||
|
|
||||||
// Secondary device attributes request / response
|
// Secondary device attributes request / response
|
||||||
.{ .name = "RV", .value = .{ .string = "\\E[>c" } },
|
.{ .name = "RV", .value = .{ .string = "\\E[>c" } },
|
||||||
.{ .name = "rv", .value = .{ .string = "\\E\\[[0-9]+;[0-9]+;[0-9]+c" } },
|
.{ .name = "rv", .value = .{ .string = "\\E\\\\[[0-9]+;[0-9]+;[0-9]+c" } },
|
||||||
|
|
||||||
// XTVERSION
|
// XTVERSION
|
||||||
.{ .name = "XR", .value = .{ .string = "\\E[>0q" } },
|
.{ .name = "XR", .value = .{ .string = "\\E[>0q" } },
|
||||||
.{ .name = "xr", .value = .{ .string = "\\EP>\\|[ -~]+a\\E\\\\" } },
|
.{ .name = "xr", .value = .{ .string = "\\EP>\\\\|[ -~]+a\\E\\\\" } },
|
||||||
|
|
||||||
// DECSLRM (Left/Right Margins)
|
// DECSLRM (Left/Right Margins)
|
||||||
.{ .name = "Enmg", .value = .{ .string = "\\E[?69h" } },
|
.{ .name = "Enmg", .value = .{ .string = "\\E[?69h" } },
|
||||||
|
Reference in New Issue
Block a user