[BLUEJ-976] Right-hand class border not drawn right
The right-hand green border here is not right in two senses: it should not have that visible white gap between it and the yellow border end, but also it should not be so far right that it's hidden by the scrollbar. (It's not a scroll bar issue, though: when I resized the window tall enough to remove the scroll, the border moved right to the edge of the window, but the green border was still off the screen.) This is on Windows. Resizing the window to force repaint caused same issue.
!image-2017-05-31-08-46-06-897.png|thumbnail!
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.2