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/global.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/global.mu')
| -rw-r--r-- | shell/global.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/global.mu b/shell/global.mu index f6a779f9..329556c1 100644 --- a/shell/global.mu +++ b/shell/global.mu @@ -230,7 +230,7 @@ fn render-globals-menu screen: (addr screen), _self: (addr global-table) { draw-text-rightward-from-cursor screen, " >> ", width, 7/fg, 0xc5/bg=blue-bg } -fn edit-globals _self: (addr global-table), key: grapheme { +fn edit-globals _self: (addr global-table), key: code-point-utf8 { var self/esi: (addr global-table) <- copy _self # ctrl-s { |