diff options
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 } |