This repository was archived by the owner on Apr 6, 2021. It is now read-only.
This repository was 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
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.