Download app/vendor/pi-coding-agent/components/user-message.js from Mike0021/MiniCPM5-2B-WebGPU-Pi-HTTP: direct link, hf CLI and curl.
- Browser
- Download file 1.79 kB
-
https://huggingface.co/spaces/Mike0021/MiniCPM5-2B-WebGPU-Pi-HTTP/resolve/main/app/vendor/pi-coding-agent/components/user-message.js
- Command line
-
hf download hf://spaces/Mike0021/MiniCPM5-2B-WebGPU-Pi-HTTP/app/vendor/pi-coding-agent/components/user-message.js
-
curl -L -o user-message.js https://huggingface.co/spaces/Mike0021/MiniCPM5-2B-WebGPU-Pi-HTTP/resolve/main/app/vendor/pi-coding-agent/components/user-message.js
1.79 kB
| import { Box, Container, Markdown } from "@earendil-works/pi-tui"; | |
| import { getMarkdownTheme, theme } from "../theme/theme.js"; | |
| import { createMarkdownTransform } from "./markdown-transform.js"; | |
| const OSC133_ZONE_START = "\x1b]133;A\x07"; | |
| const OSC133_ZONE_END = "\x1b]133;B\x07"; | |
| const OSC133_ZONE_FINAL = "\x1b]133;C\x07"; | |
| /** | |
| * Component that renders a user message | |
| */ | |
| export class UserMessageComponent extends Container { | |
| text; | |
| markdownTheme; | |
| outputPad; | |
| markdownTransformers; | |
| constructor(text, markdownTheme = getMarkdownTheme(), outputPad = 1, markdownTransformers = []) { | |
| super(); | |
| this.text = text; | |
| this.markdownTheme = markdownTheme; | |
| this.outputPad = outputPad; | |
| this.markdownTransformers = markdownTransformers; | |
| this.rebuild(); | |
| } | |
| setOutputPad(padding) { | |
| this.outputPad = padding; | |
| this.rebuild(); | |
| } | |
| rebuild() { | |
| this.clear(); | |
| const contentBox = new Box(this.outputPad, 1, (content) => theme.bg("userMessageBg", content)); | |
| contentBox.addChild(new Markdown(this.text, 0, 0, this.markdownTheme, { | |
| color: (content) => theme.fg("userMessageText", content), | |
| }, { | |
| preserveOrderedListMarkers: true, | |
| preserveBackslashEscapes: true, | |
| transform: createMarkdownTransform("user", false, this.markdownTransformers), | |
| })); | |
| this.addChild(contentBox); | |
| } | |
| render(width) { | |
| const lines = super.render(width); | |
| if (lines.length === 0) { | |
| return lines; | |
| } | |
| lines[0] = OSC133_ZONE_START + lines[0]; | |
| lines[lines.length - 1] = OSC133_ZONE_END + OSC133_ZONE_FINAL + lines[lines.length - 1]; | |
| return lines; | |
| } | |
| } | |
| //# sourceMappingURL=user-message.js.map |