Shahmir Varqha

I'm not so keen on adding a script tag to index.html, it will add another dependency that's only needed for some use cases imo. Ideally the script would be added...

good idea, let me work on that :)

I wrote a quick helper function based on joining the left and right tables: ```.py import polars as pl def compare( df_left: pl.DataFrame, df_right: pl.DataFrame, keep_rows: bool = False, keep_cols:...

hmm, I was thinking of increasing the margin between cells instead, to differentiate more between each cell. But, this is more universal. ```.tsx // frontend/src/components/editor/output/Outputs.css .Cell.published .output-area .output { margin-top:...

hey! I'm not from the team, but does plotly support this now? I couldn't make the examples mentioned here zoom-in too: https://plotly.com/python/tile-scatter-maps/#mapbox-maps Fyi, plotly is slowly deprecating mapbox in favour...

hmm, does the following work: ```python with oracledb.connect(user=un, password=pw, dsn=cs) as connection: with connection.cursor() as cursor: sql = "select sysdate from dual" for r in cursor.execute(sql): print(r) ``` I took...

I think this makes sense and we can add this

There's a bit of pushback when we discussed internally since it changes the defaults. I think we will leave this up and see what others think too, and we can...

hey, this is actually due to plotly migrating from mapbox to maplibre. https://plotly.com/javascript/maplibre-migration/ I’ve verified that upgrading `plotly.js` to the latest version (2.34.0 --> 2.35.2) resolves this issue. Would you...

Thanks! Feel free to disagree, would it be more intuitive if the API is just `reverse_color=True` or `invert_color`?