Skip to content

fix(hotkeys): make copy line up/down hotkeys editable#10241

Merged
kirangadhave merged 1 commit into
marimo-team:mainfrom
Abdulrehman-PIAIC80387:fix/editable-copy-line-hotkeys-7056
Jul 24, 2026
Merged

fix(hotkeys): make copy line up/down hotkeys editable#10241
kirangadhave merged 1 commit into
marimo-team:mainfrom
Abdulrehman-PIAIC80387:fix/editable-copy-line-hotkeys-7056

fix(hotkeys): make copy line up/down hotkeys editable

f8e6a53
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
CLAAssistant
succeeded Jul 20, 2026 in 12s