search

VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Row numbers and better row comments #31

Closed wadoon closed 7 years ago

csicar commented 7 years ago

display icon for row with comment and show comment on mouse hover