ucode-agent 1.23.0 → 1.25.0
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/package.json +1 -1
- package/src/core/loop.js +10 -1
- package/src/tools/files.js +737 -706
- package/src/ui/screen.js +5 -3
- package/src/ui/theme.js +429 -392
package/src/ui/screen.js
CHANGED
|
@@ -39,7 +39,7 @@ import chalk from 'chalk';
|
|
|
39
39
|
import {
|
|
40
40
|
theme, blue, sky, deep, dim, edge, ADDED, REMOVED, BANNER, BANNER_WIDTH, SPINNER,
|
|
41
41
|
boxTop, boxBottom, boxRow, visLen, padVis, clip, wrapAnsi,
|
|
42
|
-
shortenPath, asLabel, ensureColour, planLine, bare, narration, narrationMark, groupKind, groupLabel, groupTarget, runLine, planRows,
|
|
42
|
+
shortenPath, asLabel, ensureColour, planLine, bare, narration, narrationMark, groupKind, groupLabel, groupTarget, runLine, planRows, tidyReply } from './theme.js';
|
|
43
43
|
import { FRAME_MS, fitActivity, shimmer, spinnerGlyph, formatDuration, doneLine, stepPaint } from './activity.js';
|
|
44
44
|
import { renderer, render, polish } from './markdown.js';
|
|
45
45
|
import { VERSION } from '../core/version.js';
|
|
@@ -258,7 +258,7 @@ export class Screen {
|
|
|
258
258
|
if (!text?.trim()) return;
|
|
259
259
|
this.endRun();
|
|
260
260
|
this.add('');
|
|
261
|
-
this.add(render(this.md,
|
|
261
|
+
this.add(render(this.md, tidyReply(text)));
|
|
262
262
|
this.add('');
|
|
263
263
|
this.render();
|
|
264
264
|
}
|
|
@@ -777,7 +777,9 @@ export class Screen {
|
|
|
777
777
|
const a = this.activity;
|
|
778
778
|
const since = a?.start ?? this.status.since ?? now;
|
|
779
779
|
const meta = [];
|
|
780
|
-
|
|
780
|
+
// No step count. It measures how much machinery ran, which is not
|
|
781
|
+
// something the person waiting has any use for; the elapsed time is.
|
|
782
|
+
void stepPaint;
|
|
781
783
|
if (now - since >= 1000) meta.push({ text: formatDuration(now - since), keep: true });
|
|
782
784
|
middle = fitActivity({
|
|
783
785
|
glyph: spinnerGlyph(this.tick, now),
|