[all] Rename `DefineButton.characters` to `records`
Closed this issue · 0 comments
demurgos commented
Rename DefineButton.characters
to records
to be consistent with naming: it is a list of ButtonRecord
so its name should be records
. It also better matches other record-based definitions such as shapes or glyphs.