From acbd39e3e838fe49b17e32fe254af9ea12b4f81b Mon Sep 17 00:00:00 2001 From: eunhhu Date: Sat, 26 Sep 2026 11:01:21 +0100 Subject: Declare marks: cursors that stay before inserted text `state from: mark in note` is a cursor that stays before text inserted at its position; `cursor in` goes after it, as a caret does. Everything a cursor takes, a mark takes too. The notes example's mark is now one, and its reference model agrees: typing at the mark leaves it in place. --- examples/notes.aup | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'examples') diff --git a/examples/notes.aup b/examples/notes.aup index fdc91b8..214b617 100644 --- a/examples/notes.aup +++ b/examples/notes.aup @@ -1,10 +1,11 @@ # A small text editor. The runtime owns the text: typing inserts at the # cursor, the cursor and the mark always sit between characters and follow -# edits, and a failed event would leave everything as it was. +# edits (text typed at the mark goes after it: the mark stays), and a failed +# event would leave everything as it was. state title: text = "메모" state note: text = "" state at: cursor in note -state mark: cursor in note +state mark: mark in note input typed = text input left = key ArrowLeft -- cgit v1.2.3