From f392a28ea4000ee50152da3decbba886547df8df Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Sun, 30 Jun 2024 14:20:53 -0600
Subject: [PATCH] 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