Uploaded image for project: 'BlueJ'
  1. BlueJ
  2. BLUEJ-976

Right-hand class border not drawn right

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Medium
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: 4.1.2
    • Component/s: Java editor
    • Sprint:
      4.1.2

      Description

      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.

        Attachments

          Activity

            People

            • Assignee:
              nccb Neil Brown
              Reporter:
              nccb Neil Brown
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: