13
0

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:
Paul Davis 2024-06-30 14:20:53 -06:00 committed by Robin Gareus
parent 0ade0b2212
commit 5808ab5608
Signed by: rgareus
GPG Key ID: A090BCE02CF57F04

Diff Content Not Available