[ jEdit-devel ] MiscUtilities.globToRE

[<car...@lo...>]

The OpenIt plugin is choking on multiple exclusions because
jEdit's MiscUtilities.globToRE does this:

case '|':
        buf.append("\\|");
        break;

If it didn't do the double back slash it would work fine.  Is jEdit
or OpenIt wrong?  (OpenIt is using RE_SYNTAX_POSIX_EXTENDED
with GNU RegExp)

Carmine


------------------------------------------------------------------------------
This email is confidential. 
If you are not the intended recipient, please notify
the sender by return email and delete this message
from your mail box without reading or copying it or 
any attachments. While Lombard Canada Ltd. runs 
anti-virus software on all servers and all PCs, it
cannot be held responsible for any infected files that
you may receive. Lombard Canada Ltd. advises all
recipients to virus scan any file attachments.
==============================================================================