jedit-syntax-devel

[Peter M. <pet...@al...>]

Hello,

Attached is a patch that adds a column to the left of the textarea that
shows the line number for each line. Apply the patch by standing in the
directory that contains the "org" directory and type:

patch <linenumbers.diff -p0

Default the line numbers are not shown, you have to enable them by
setting lineNumbers in TextAreaDefaults to true. Eg:

     TextAreaDefaults defaults;
     defaults.lineNumbers = true;
     JEditTextArea ta = new JEditTextArea(defaults);

There are a couple of shortcomings of the line numbers handling (doesn't
handle line numbers >10000 very well, fixed width of the line numbers
column), but I will probably get around to fix these eventually.

I hope somebody will find this contribution useful.

/Peter Mattsson - eFrog - http://www.eFrog.se/