RE: [ jEdit-devel ] jEdit Community plugins

[John G. <jge...@ny...>]

> begin Slava Pestov quotation:
> > There was a bug report some time ago about the 'sort lines' command
> > not working if there is a selection. Has this been fixed?
> 
> John did the updates and I haven't yet checked things out, so I'm not
> sure right now.
> 
> -md
> 

The sort lines and reverse sort lines commands are working for me.

John