[PIVOT-255] Possible rounding error in TerraTableViewSkin.paint()

• Type: Bug
• Status: Resolved
• Priority: Trivial
• Resolution: Fixed
• Affects Version/s: 1.3
• Fix Version/s: 1.3
• Component/s: wtk
• Environment: Verified in Windows and Linux - Mac OSX not tested
• Assignee: Gregory K. Brown
• Reporter: Todd Volkert
• Created: 30/Aug/09 23:46
• Updated: 04/Sep/09 16:30
• Resolved: 31/Aug/09 14:21

Description

1) Run org.apache.pivot.demos.tables.FixedColumnTable
2) Select "User 6" row
3) Move your mouse between the "User 5" and "User 7" rows

Result:
As you move your mouse above and below the selected row, columns a, b, and c toggle an extra row of pixels painted selected. The extra row of pixels of very subtle, but it's noticeable when you follow the steps above.