Menu ▾ ▴

#18 Line numbering should be all the way right justified

open-accepted
Matt Watkins
None
7
2004-07-23
2004-07-20
Willie Zutz
No

If I set the width of the line number column to, 3,
(one would assume 3 means 3 characters) and I get into
the hundreds for line numbers, the numbers fall off the
left edge of the window. The numbers should be right
justified within a few pixels of the edge of the line
number column.

Discussion

  • Willie Zutz

    Willie Zutz - 2004-07-20

    Example screenshot

     
    example.png

  • Willie Zutz

    Willie Zutz - 2004-07-20

    Logged In: YES
    user_id=637872

    Here's a screenshot

     

  • Matt Watkins

    Matt Watkins - 2004-07-23
    • priority: 5 --> 7
    • assigned_to: nobody --> mattwat
    • status: open --> open-accepted
     

  • Matt Watkins

    Matt Watkins - 2004-07-23

    Logged In: YES
    user_id=751188

    You are correct in assuming that the width is set by the
    number of characters specified. It seems as though the
    problem you are seeing is due to the way the characters are
    measured. This should be fixed in the next version.

     

Log in to post a comment.

MongoDB Logo MongoDB