As larger editing operations begin to be supported (e.g. cut & paste, or typing replacing selected text), an undo facility becomes more important. And presumably with undo comes redo.
This was added in https://git.sr.ht/~eliasnaur/gio/commit/a4d0c3e.
REPORTED RESOLVED FIXED
If you click a radio button,
widget.Enum.Changed()will return true. If you click the same button again,
Changed()will return true again, even though nothing has actually changed.
~sircmpwn Thanks for the update!
If you call Move on an editor that hasn't been laid out yet, it panics, because editor.shaper is nil.
In my app, I have occasion to set the editor text, and move the caret to the end of the text (
Move(len(text))), before having actually run Layout the first time.