Open
Description
In the editor, when renaming an event, if this event is used in an automaton, a popup prompts if all occurrences of this event should be renamed.
It would be nice to have the same feature for variables.
Additionally, when renaming a variable (its name cell), it would also be nice to rename it in the initial cell too.