diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2021-05-29 16:41:47 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2021-05-29 16:41:47 -0700 |
commit | 91ddc3a82d7bd5d279e1ed427908322472832025 (patch) | |
tree | 42064c28ab1649daf5f59c92c5c3b8dafa0c33be /shell | |
parent | c8b2424f45fe9951bef38c9ac768cc5fa30eb6a6 (diff) | |
download | mu-91ddc3a82d7bd5d279e1ed427908322472832025.tar.gz |
.
Diffstat (limited to 'shell')
-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 2bdabe99..39fd8b42 100644 --- a/shell/trace.mu +++ b/shell/trace.mu @@ -27,10 +27,10 @@ type trace { # edit-trace might add/remove lines to visible visible: (handle array trace-line) recompute-visible?: boolean - top-line-index: int # index into data cursor-y: int # row index on screen cursor-line-index: int # index into data unclip-cursor-line?: boolean # extremely short-lived; reset any time cursor moves + top-line-index: int # index into data } type trace-line { |