ultimate-pa / hanfor

Hanfor helps analyzing and formalizing requirements.
https://ultimate-pa.github.io/hanfor/
GNU Lesser General Public License v3.0
9 stars 3 forks source link

Add commenting feature to tags #218

Closed Langenfeld closed 2 years ago

Langenfeld commented 2 years ago

Tags on itself are not sufficent to capture most of the reports generated during formalisation. Thus tags should be 'commentable' i.e. for each tag of a requirement one should be able to supply a comment giving more detail.

Note, that threre is already a comment feature per Tag, to describe what a tag usually means for the whole set. This is not what should be used here.

To illustrate how that could work: commentedtags

DaraKamalian commented 2 years ago

I've been working on the design and I think this looks best. If you have any suggestions please tell me. I am currently working on integrating this new design with the current codebase

Screen Shot 2022-03-29 at 4 19 06 PM

.