AW: [jEdit-Syntax-devel] Multiple instances and line numbers

[Henning, O. <Hen...@lo...>]

> Question: I notice that you cannot load two instances of 
> JEditTextArea independently without both loading the same 
> text. I've been looking for some static variable that might 
> be the cause of the problem but have been so far 
> unsuccessful. Any pointers would be much appreciated.

They share the document. But I will fix this. Workaround :
"this.setDocument(new SyntaxDocument())" in the constructor.

> Request: Could "Peter Mattsson" please repost or send me his 
> line numbers implementation. My OS doesn't have the diff tool 
> required and I think the web archive version chopped some of it off.
> 
> If nobody replies I'll delve deeper myself and post the fix.

I was not sure if his was the right approach. Maybe we should the rowheader
of the scrollpane for that instead of just printing line numbers before the
line text. This would also allow visible bookmarks, breakpoint and other
stuff like a row indicator for text that is being processed line by line
(e.g. SQL commands in an SQL console). What do you think?

This e-mail and any attachment is for authorised use by the intended recipient(s) only.  It may contain proprietary material, confidential information and/or be subject to legal privilege.  It should not be copied, disclosed to, retained or used by, any other party.  If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender.  Thank you.