@danypops/pi-packed 0.13.0 → 0.13.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/extension/src/tui.ts +7 -0
- package/package.json +1 -1
package/extension/src/tui.ts
CHANGED
|
@@ -464,11 +464,18 @@ function renderPanel(ctx: ExtensionCommandContext, natives: Natives, initialRows
|
|
|
464
464
|
|
|
465
465
|
// Real bordered box (rounded corners), not just a horizontal rule --
|
|
466
466
|
// title carries the live update badge/status instead of a header line.
|
|
467
|
+
// measure must be explicit: Envelope's own default is ASCII-only (raw
|
|
468
|
+
// .length, blind to ANSI escape codes) and every line below is styled
|
|
469
|
+
// through theme.fg/theme.bold -- without this, Envelope pads each line
|
|
470
|
+
// against its own escape-code-inflated "length" instead of its real
|
|
471
|
+
// visible width, so the right border lands at a different column on
|
|
472
|
+
// every line depending on how much styling that particular line has.
|
|
467
473
|
const envelope = new Envelope({
|
|
468
474
|
title: panelTitle(),
|
|
469
475
|
borderStyle: "rounded",
|
|
470
476
|
style: (s) => theme.fg("border", s),
|
|
471
477
|
titleStyle: (s) => theme.bold(theme.fg("accent", s)),
|
|
478
|
+
measure,
|
|
472
479
|
});
|
|
473
480
|
const body = {
|
|
474
481
|
invalidate() { header.invalidate(); list.invalidate(); },
|