Description
I would like to ask to make the "copy line(s) down" hotkey in the shortcuts page of the marimo editor editable, if feasible (possible also the "copy line(s) up" hotkey). Currently, the hotkey is not editable because #6843 didn't override it in the codemirror settings.
The reason is that I would find it nice if I could switch to Ctrl + D.
Suggested solution
Change codemirror settings
Are you willing to submit a PR?
Alternatives
No response
Additional context
No response
Description
I would like to ask to make the "copy line(s) down" hotkey in the shortcuts page of the marimo editor editable, if feasible (possible also the "copy line(s) up" hotkey). Currently, the hotkey is not editable because #6843 didn't override it in the codemirror settings.
The reason is that I would find it nice if I could switch to Ctrl + D.
Suggested solution
Change codemirror settings
Are you willing to submit a PR?
Alternatives
No response
Additional context
No response