I think we need to do this (and the call to `KeyBindingManager.setEnabled(false) below`) only if we're at the outermost level of the stack.