Closed edemaine closed 3 years ago
Ctrl-D on Chrome (at least) triggers bookmarking. For more consistently, we should probably preventDefault when there's nothing selected and the user presses Ctrl-D. Perhaps only in select mode, to allow bookmarking in other modes?
preventDefault
Ctrl-D on Chrome (at least) triggers bookmarking. For more consistently, we should probably
preventDefaultwhen there's nothing selected and the user presses Ctrl-D. Perhaps only in select mode, to allow bookmarking in other modes?