Describe the issue

When linting shows an error, it's not possible to copy the error text by Ctrl+C (and paste into a chat, email, etc.).

The problem is in LintPanel.list.onkeydown handler, see lint/src/lint.ts:527 There's event.preventDefault() which prevents the default action, i.e. copy to clipboard.

I suggest to skip preventDefault(), if event.ctrlKey, altKey or metaKey is set.

Browser and platform

Electron.js, Chrome

Reproduction link

No response