qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Do not scroll table header (first row) #5

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


The first row with the thread names should stay on screen when scrolling vertically. Furthermore, it would be good to show the thread numbers there as well (in addition to the names), as threads are sometimes named by the code that creates it, so the names do not always match the numbers.

qiyitang71 commented 7 years ago

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


Works now as planned.