Follow-up from "Dynamic editor containers": make editor ID in `EditEvent` an integer
The following discussion from !513 (merged) should be addressed:
-
@cstaps started a discussion: (+1 comment)
toInt name
looks unsafe because I would expect a name to allow at least alphabetic strings. Can we change the type ofEditEvent
to have anEditorId
as its second argument?