Manual stepping button titles dependent on currently selected state

Description of the bug

When manually stepping through each state, the buttons which appear don't show the correct character when every state but the first is selected. However, the trace does show the correct character regardless.

To reproduce

  1. Create a simple PDA
  2. Manually step through with the first state selected
  3. Manually step through again with the final state secreted
  4. Notice how the character shown in each title has changed, despite the same string being stepped through

Expected behavior

No response

Additional information

No response