Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
guenth39 opened this issue Mar 8, 2024 · 0 comments · May be fixed by #869
Open

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

guenth39 opened this issue Mar 8, 2024 · 0 comments · May be fixed by #869
Assignees
Labels
devtool enhancement New feature or request

Comments

@guenth39
Copy link

guenth39 commented Mar 8, 2024

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.

@guenth39 guenth39 added bug Something isn't working needs triage labels Mar 8, 2024
@rrousselGit rrousselGit added enhancement New feature or request devtool and removed bug Something isn't working needs triage labels Mar 8, 2024
@guenth39 guenth39 linked a pull request Mar 8, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
devtool enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants