Ecdar / Ecdar/Ecdar-GUI

Error messages cannot be copied

Open
#132 0 comments 0 reactions 0 assignees View on GitHub
enhancement good first issue
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

When a query returns an error message, this message can be inspected in a pop-up window. Unfotunately, the actual text cannot be copied, for example when one wants to share this error message with the developers.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.