Gio GUI toolkit editor selection demo
This is a teaser for the editor selection code I'm working on.
PR at https://github.com/gioui/gio/pull/3. As of this writing, some features demonstrated are not yet in the PR, but that shouldn't be long.
Update 12/30/2020: New code is on Github now, but not yet in the "main" branch.
More information on Gio at https://gioui.org/.