#46 REs instead of globs

[Björn Kautler]

Make it possible to use regular expressions where
currently filename globs are used. These places could
e. g. be found with searching for the use of
MiscUtilities.globToRE(String).

Sorry if this is a dupe, but I have many bugs to post
and am too lazy to check them all for dupes
currently. :-)

OS: Windows XP
Java Version: Sun Java 1.5.0_06-b05
jEdit Version: SVN Revision 6684 (4.3pre7)

[Matthieu Casanova]

Logged In: YES
user_id=285591
Originator: NO

It is possible now by prefixing your regex by (re) isn't it ?

[Steve Jakob]

Logged In: YES
user_id=17432
Originator: NO

Regular expressions can already be used in place of globs.

Please refer to the jEdit help docs: "Appendix D. Glob Patterns".

[Björn Kautler]

Logged In: YES
user_id=918212
Originator: YES

I fixed this in the meantime. In 4.3pre7 it was present. So please use proper Resolution and not "Works for me" or "Invalid". I know, I should have closed this FR when implementing it, but I forgot about its existence.