Function
diffLineNumberText
(value: number | undefined, width: number)
Source from the content-addressed store, hash-verified
| 141 | |
| 142 | /** Format one optional line number for a fixed-width diff gutter. */ |
| 143 | export function diffLineNumberText(value: number | undefined, width: number) { |
| 144 | return value === undefined ? " ".repeat(width) : String(value).padStart(width, " "); |
| 145 | } |
| 146 | |
| 147 | /** Build the stack-view gutter text shared by the TUI and static pager renderers. */ |
| 148 | export function stackGutterText( |
Tested by
no test coverage detected