We're updating the issue view to help you get more done. 

Improve Error Feedback for LTL Patterns

Description

I would suggest to show errors in the edit dialog directly and not automatically close the dialog when there is an error. This way one could maybe highlight the errors in the text field of the pattern.

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major