diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-05-29 16:42:15 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-05-29 16:42:15 -0700 |
| commit | af46771821d7d0af3c8970f15cedf2cf1714f765 (patch) | |
| tree | e444b6e705e50ea72fee38c99b078fb92b161d43 /shell/trace.mu | |
| parent | 91ddc3a82d7bd5d279e1ed427908322472832025 (diff) | |
| download | mu-af46771821d7d0af3c8970f15cedf2cf1714f765.tar.gz | |
.
Diffstat (limited to 'shell/trace.mu')
| -rw-r--r-- | shell/trace.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/trace.mu b/shell/trace.mu index 39fd8b42..60c36afd 100644 --- a/shell/trace.mu +++ b/shell/trace.mu @@ -27,8 +27,8 @@ type trace { # edit-trace might add/remove lines to visible visible: (handle array trace-line) recompute-visible?: boolean - cursor-y: int # row index on screen cursor-line-index: int # index into data + cursor-y: int # row index on screen unclip-cursor-line?: boolean # extremely short-lived; reset any time cursor moves top-line-index: int # index into data } |