[JSON Formatter] Can't select text

[felixdivall]

Current behavior

I expect that this is a bug. Right now I'm unable to select text in the JSON formatter.
I can only copy it as whole using the copy button.

How to reproduce it (as minimally and precisely as possible)

1. Go to Formatters -> JSON
2. Paste what you want to format
3. Try to select the text in both Input and Output section

Expected behavior

I expect to be able to select the text that I want to copy, it's not necessarily the whole output.

Screenshots

No response

Workaround

No response

Affected platforms

No response

Affected DevToys kind

DevToys (app with GUI)

DevToys Version

2.0-preview.8

Relevant Assets/Logs

No response

[rbergheim]

I have the same problem with the JWT decoder