qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Scrolling issue after resizing #32

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


If the whole window is resized (not just the relative space of each pane), then it is sometimes possible to obtain a horizontal scroll bar, and a wide "world view", which scrolls the main content of the table past the leftmost column.

See screenshot. The table is no longer aligned with the header row, because its contents were scrolled to the left.

qiyitang71 commented 7 years ago

Original comment by Qiyi Tang (Bitbucket: 557058:2fa1148b-f902-41e5-ac1b-c0f7bdf50d33, GitHub: qiyitang71).


The horizontal scroll bar will appear only when the text is wider than the row. See the graph below. Is it OK? issue #32.png

qiyitang71 commented 7 years ago

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


Occasionally still very minor issues with scrolling, perhaps because JGraphX does not fully suppress internal scroll bars? In any case, the offset is no more than a few pixels. This may resolve itself with further updates. I'll mark this as "resolved" as there is no need to spend more time in this now.