Make "copy line down" hotkey in the shortcuts page of the marimo editor editable #7056

Activity

1. mullimanko

   added the

   Feature

   issue type on Nov 3, 2025
2. mullimanko

   added

   enhancementNew feature or requestNew feature or request

   on Nov 3, 2025
3. linear

   added

   good first issue (typescript)Good first issue on the frontend/typescriptGood first issue on the frontend/typescript

   on Nov 5, 2025
4. kallal79 commented on Apr 3, 2026

   

   kallal79

   on Apr 3, 2026

   More actions

   I’ve already started working on this issue and would like to be officially assigned.
   Please assign me so I can continue with the implementation and submit a PR. Thanks!
5. Abdulrehman-PIAIC80387 commented on Jul 20, 2026

   

   Abdulrehman-PIAIC80387

   on Jul 20, 2026

   Contributor

   More actions

   Hi — checking in on this one, as it looks unclaimed (#6843 landed the panel entries, but left both hotkeys editable: false).

   I have a fix working locally that follows the override pattern already used for toggleComment/toggleBlockComment in frontend/src/core/codemirror/keymaps/keymaps.ts:

   1. add copyLineUp/copyLineDown to OVERRIDDEN_COMMANDS, so CodeMirror's hardcoded Shift-Alt-Arrow bindings are filtered out of the default keymap
   2. re-bind them in overrideKeymap() using keymap.getHotkey(...), so they follow the user's configured key
   3. drop editable: false from both entries in hotkeys.ts

   Default keybindings are unchanged; only the ability to reconfigure them is added. make fe-check passes and the existing generic assertions in keymaps.test.ts (which compare overrideKeymap().length against OVERRIDDEN_COMMANDS.size) pick up the new commands automatically. I've added a test asserting an override to Ctrl-D actually reaches the keymap — the rebinding @mullimanko originally asked for.

   I'll open this as a draft PR shortly so the diff is easy to look at. Since this issue doesn't carry the ready label, please treat the PR as awaiting your go-ahead rather than a review request — happy to close it if you'd rather this waited or went a different way.

   Disclosure: this change was authored by a coding agent, reviewed by me before posting.
6. Abdulrehman-PIAIC80387

   added a commit that references this issue on Jul 20, 2026

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

   ...

   This issue will close once commit f8e6a53 is merged into the 'main' branch.

   f8e6a53
7. kirangadhave

   closed this as completedin #10241on Jul 24, 2026