diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2021-11-09 08:12:11 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2021-11-09 08:12:11 -0800 |
commit | d253a3182859c7c989449122a60d5f362f19ded0 (patch) | |
tree | 7459cddc57f93107fa4cee89d4f0a94dd0f0f131 /shell/trace.mu | |
parent | d1808995b2c6b99749237a29e6ac6477d00ff8f9 (diff) | |
download | mu-d253a3182859c7c989449122a60d5f362f19ded0.tar.gz |
rename grapheme to code-point-utf8
Longer name, but it doesn't lie. We have no data structure right now for combining multiple code points. And it makes no sense for the notion of a grapheme to conflate its Unicode encoding.
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 298b7e23..e4c9ec5e 100644 --- a/shell/trace.mu +++ b/shell/trace.mu @@ -904,7 +904,7 @@ fn render-trace-menu screen: (addr screen) { draw-text-rightward-from-cursor screen, " show whole line ", width, 7/fg, 0xc5/bg=blue-bg } -fn edit-trace _self: (addr trace), key: grapheme { +fn edit-trace _self: (addr trace), key: code-point-utf8 { var self/esi: (addr trace) <- copy _self # cursor down { |