#4 Bug with Line Numbering font

v1.3.x
closed-fixed
Gutter (2)
5
2009-12-02
2009-08-04
Anonymous
No

Originally reported here:

http://fifesoft.com/forum/viewtopic.php?f=10&t=270&sid=cbabab07a0608154801130f86a1914d3

Changing the font used for line numbering like so:

textScrollPane.getGutter().setLineNumberFont(font)

doesn't take effect until disabling, and re-enabling, line numbers:

textScrollPane.setLineNumbersEnabled(false);
textScrollPane.setLineNumbersEnabled(true);

The Gutter should probably revalidate itself after changing the line number font.

Discussion

  • Robert Futrell
    Robert Futrell
    2009-08-04

    • labels: --> Gutter
    • milestone: --> v1.3.x
    • assigned_to: nobody --> robert_futrell
     
  • Robert Futrell
    Robert Futrell
    2009-08-18

    Fix pushed to SVN, will be in the next RSyntaxTextArea release.

     
  • Robert Futrell
    Robert Futrell
    2009-08-18

    • status: open --> pending
     
  • Robert Futrell
    Robert Futrell
    2009-12-02

    • status: pending --> closed-fixed
     
  • Robert Futrell
    Robert Futrell
    2009-12-02

    Fixed in 1.4.0.