Improved label editing

Label editing works properly on macOS 15 and iOS 18. The demo app also demonstrates how to edit the selected label with tap gestures and by pressing the return key.