fix management of undo/redo and _current_editing_context
We cannot switch on a leave event from a widget, because the undo/redo menu items must remain labelled until we are actually in a new editing context. So switch when we switch tabs or when we edit the (MIDI) cue editor
This commit is contained in:
parent
8523598664
commit
f392a28ea4