marimo-team/marimo

experimental_data_editor throws error with date column

Closed this issue · 1 comments

MarcoGorelli commented

Describe the bug

With the code below, I get the following traceback (which I can't seem to select to copy-and-paste, is this a known issue?)

image

Environment

{
"marimo": "0.9.8",
"OS": "Linux",
"OS Version": "5.15.153.1-microsoft-standard-WSL2",
"Processor": "x86_64",
"Python Version": "3.12.5",
"Binaries": {
"Browser": "--",
"Node": "v20.16.0"
},
"Dependencies": {
"click": "8.1.7",
"importlib-resources": "6.4.5",
"jedi": "0.19.1",
"markdown": "3.7",
"pygments": "2.18.0",
"pymdown-extensions": "10.11.2",
"ruff": "0.6.9",
"starlette": "0.39.2",
"tomlkit": "0.13.2",
"typing-extensions": "4.12.2",
"uvicorn": "0.31.1",
"websockets": "12.0"
},
"Optional Dependencies": {
"altair": "5.2.0",
"duckdb": "1.1.1",
"ibis-framework": "9.5.0",
"pandas": "2.2.3",
"polars": "1.9.0",
"pyarrow": "17.0.0"
}
}

Code to reproduce

import polars as pl
import marimo
from datetime import date

data_editor = marimo.ui.experimental_data_editor
df = pl.DataFrame({'a': [1,2,3], 'b': [date(2020,1,1), date(2020,1,2), date(2020,1,3)]})
data_editor(df)
# then, try editing a date
mscolnick commented

I accidentally introduced that bug selection prevention bug (fix in a PR).

I'll look at supporting dates

  • 🎉1