Git_Mirror/Terminal.Gui
1
0
Fork 0
mirror of https://github.com/gui-cs/Terminal.Gui.git synced 2025-12-28 16:58:01 +01:00
Code Issues Packages Projects Releases Wiki Activity

Sixel resolution measuring

Browse Source
This commit is contained in:
tznind
2024-10-06 19:12:50 +01:00
parent fe7e10a130
commit 54308ffb27
2 changed files with 33 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Terminal.Gui/ConsoleDrivers/EscSeqUtils/EscSeqUtils.cs
View File

@@ -1361,6 +1361,10 @@ public static class EscSeqUtils
/// </summary>
public static readonly AnsiEscapeSequenceRequest CSI_RequestSixelResolution = new () { Request = CSI + "16t", Terminator = "t" };
/// <summary>
/// CSI 14 t - Request window size in pixels (width x height)
/// </summary>
public static readonly AnsiEscapeSequenceRequest CSI_RequestWindowSizeInPixels = new () { Request = CSI + "14t", Terminator = "t" };
/// <summary>
/// CSI 1 8 t | yes | yes | yes | report window size in chars

31
Terminal.Gui/Drawing/SixelSupportDetector.cs
View File

@@ -41,10 +41,37 @@ public class SixelSupportDetector
}
}
if (!gotResolutionDirectly)
{
// TODO: Try pixel/window resolution getting
// Fallback to window size in pixels and characters
if (AnsiEscapeSequenceRequest.TryExecuteAnsiRequest (EscSeqUtils.CSI_RequestWindowSizeInPixels, out var pixelSizeResponse) &&
AnsiEscapeSequenceRequest.TryExecuteAnsiRequest (EscSeqUtils.CSI_ReportTerminalSizeInChars, out var charSizeResponse))
{
// Example [4;600;1200t
var pixelMatch = Regex.Match (pixelSizeResponse.Response, @"\[\d+;(\d+);(\d+)t$");
// Example [8;30;120t
var charMatch = Regex.Match (charSizeResponse.Response, @"\[\d+;(\d+);(\d+)t$");
if (pixelMatch.Success && charMatch.Success)
{
// Extract pixel dimensions
if (int.TryParse (pixelMatch.Groups [1].Value, out var pixelHeight) &&
int.TryParse (pixelMatch.Groups [2].Value, out var pixelWidth) &&
// Extract character dimensions
int.TryParse (charMatch.Groups [1].Value, out var charHeight) &&
int.TryParse (charMatch.Groups [2].Value, out var charWidth) &&
charWidth != 0 && charHeight != 0) // Avoid divide by zero
{
// Calculate the character cell size in pixels
var cellWidth = pixelWidth / charWidth;
var cellHeight = pixelHeight / charHeight;
// Set the resolution based on the character cell size
result.Resolution = new Size (cellWidth, cellHeight);
}
}
}
}
}