qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Organize list of locks by type #25

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).


Currently, the locks are shown by the way they are referenced (field names). That information is not always correct, and may result in the same lock being shown several times. Using the type will shorten the list of locks and simplify the selection. Of course, different locks of the same type may then only appear as one selection, but at least the appearance will be consistent.

qiyitang71 commented 7 years ago

Original comment by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).


Works as described now.