fix(ui): preserve user ordered-list markers (closes #5013)

This commit is contained in:
Armin Ronacher
2026-05-27 01:02:04 +02:00
parent 59ec8003db
commit 2531fc130d
6 changed files with 59 additions and 5 deletions

View File

@@ -15,9 +15,16 @@ export class UserMessageComponent extends Container {
super();
this.contentBox = new Box(1, 1, (content: string) => theme.bg("userMessageBg", content));
this.contentBox.addChild(
new Markdown(text, 0, 0, markdownTheme, {
color: (content: string) => theme.fg("userMessageText", content),
}),
new Markdown(
text,
0,
0,
markdownTheme,
{
color: (content: string) => theme.fg("userMessageText", content),
},
{ preserveOrderedListMarkers: true },
),
);
this.addChild(this.contentBox);
}