Description

Stale[*] execution indicator appears on cell undo

Reproduce

1. Create a cell withimport time; time.sleep(10)
2. Run it
3. Split it into two cells withShift -
4. Merge the cells againShift M
5. Interrupt kernel
6. Undo cell operation
7. See the cell is marked as running[*]

Expected behavior

The cell execution state gets updated after undo/redo to match the current state.

Context

• JupyterLab version: 4.5.0