search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Custom field/method call highlighting does not work with resizing #18

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).

After the view is resized, the highlighted parts appear in the wrong place. This holds at least for the case when highlighting something creates a duplicate, e.g., DiningPhil$Philosopher.right together with lock/unlock(right).

qiyitang71 commented 7 years ago

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

Maybe this is easier to resolve after some refactoring (#17).

qiyitang71 commented 7 years ago

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

This issue only affects cases where one line of code is highlighted multiple times, because it matches several events.

qiyitang71 commented 7 years ago

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

Works now.