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.

Sign up for GitHub

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

Jump to bottom

Make errors easy to copy #674

Open

nicolas-raoul opened this issue May 31, 2023 · 0 comments

Labels

Enhancement Usability

nicolas-raoul commented May 31, 2023

When an error appears, I want to copy the error message in order to search the web or search the source code or report the error.

It seems difficult to copy from the UI, the red area does not react to clicks nor command-c:

Am I missing something obvious?
Even when things go well, some people may want to copy the info log.
Thanks!

mgmax added the Enhancement label

mgmax added the Usability label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment