marimo
marimo copied to clipboard
no undo for split cell
Describe the bug
- Split cell using the new (awesome) shortcut Ctrl+'
- Press Ctrl-Z
Nothing happens
Environment
{
"marimo": "0.6.0",
"OS": "Linux",
"OS Version": "6.8.7-300.fc40.x86_64",
"Processor": "",
"Python Version": "3.12.3",
"Binaries": {
"Browser": "--",
"Node": "v20.12.2"
},
"Requirements": {
"click": "8.1.7",
"importlib-resources": "missing",
"jedi": "0.19.1",
"markdown": "3.6",
"pymdown-extensions": "10.8.1",
"pygments": "2.18.0",
"tomlkit": "0.12.5",
"uvicorn": "0.29.0",
"starlette": "0.37.2",
"websocket": "missing",
"typing-extensions": "4.11.0",
"black": "24.4.2"
}
}
Code to reproduce
Any cell.