Error messages cannot be copied

Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)

MIT License

3 stars 5 forks source link

Error messages cannot be copied #132

Open magoorden opened 1 year ago

magoorden commented 1 year ago

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.