This repository has been archived by the owner on Dec 16, 2021. It is now read-only.
The editor doesn't support copying selected text #108
Labels
enhancement
New feature or request
Milestone
As the mouse support currently breaks text selection, there is effectively no way to copy editor content. Therefore the editor should support copying on some shortcut other than
Ctrl-C
andCtrl-Shift-C
.TODO: Think of a shortcut
The text was updated successfully, but these errors were encountered: