waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Fix sextant rendering

Browse Source 
Broke in #5483
This commit is contained in:
Daniel Imms
2025-12-24 06:38:21 -08:00
parent b4f4946cca
commit 79084c3066
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/addon-webgl/src/customGlyphs/CustomGlyphRasterizer.ts
+7 -3
View File
@@ -426,9 +426,7 @@ function drawPathFunctionCharacter(
devicePixelRatio: number,
strokeWidth?: number
): void {
ctx.strokeStyle = ctx.fillStyle;
ctx.beginPath();
ctx.lineWidth = devicePixelRatio * (strokeWidth ?? 1);
let actualInstructions: string;
if (typeof charDefinition === 'function') {
const xp = .15;
@@ -454,7 +452,13 @@ function drawPathFunctionCharacter(
}
f(ctx, translateArgs(args, deviceCellWidth, deviceCellHeight, xOffset, yOffset, true, devicePixelRatio));
}
ctx.stroke();
if (strokeWidth !== undefined) {
ctx.strokeStyle = ctx.fillStyle;
ctx.lineWidth = devicePixelRatio * strokeWidth;
ctx.stroke();
} else {
ctx.fill();
}
ctx.closePath();
}