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

Adapt Display of LTL Patterns

Description

I would suggest, just as for LTL formulas, to get rid of the Name of the formula field and just have the formula itself and the description, and show the formula inside the LTL view.

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major