diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-02-09 21:42:14 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-02-09 21:42:14 -0800 |
| commit | d5011d5187b02a6903e32b4f0d7410d05499fccb (patch) | |
| tree | 65775f62297e33dea71894fc8ba21a6efe7a5707 | |
| parent | 9a91f0a84065e3b53d897a7f232ac58d36e3bb0a (diff) | |
| download | mu-d5011d5187b02a6903e32b4f0d7410d05499fccb.tar.gz | |
7703
| -rw-r--r-- | baremetal/shell/gap-buffer.mu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/baremetal/shell/gap-buffer.mu b/baremetal/shell/gap-buffer.mu index eb103c98..95a92174 100644 --- a/baremetal/shell/gap-buffer.mu +++ b/baremetal/shell/gap-buffer.mu @@ -1,3 +1,6 @@ +# primitive for editing a single word +# parameter: max-word-size = 16 graphemes + type gap-buffer { left: grapheme-stack right: grapheme-stack |