The values from the provider dev tools extension should be selectable & copyable

[guenth39]

Describe the bug Nothing on the provider screen in the dev tools is selectable and therefore not copyable. This would be really helpful. I opened this as a bug and not as an enhancement, as I think it was already possible in the "old" implementation of the dev tool. Correct me if I'm wrong.

To Reproduce

Open the dev tool, try to mark and copy anything on the provider screen in the dev tools.

Expected behavior It should be possible to mark and copy everything on the screen.