This repository has been archived by the owner on Apr 6, 2021. It is now read-only.

Cmd/Ctrl+D should not be used as a shortcut because it is the "bookmark" shortcut of browsers #727

Open

willdurand opened this issue Mar 6, 2018 · 0 comments

Labels

Member

willdurand commented Mar 6, 2018

We received this feedback by email. CodeMirror uses it to delete lines but it is not cool: https://github.com/codemirror/CodeMirror/blob/1cbf1f64001b36dc7115f6a36c0f919f59c434fa/lib/codemirror.js#L2889.

We can disable this one at least.

willdurand added the improvement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.