From: Matthew Z. <mat...@sp...> - 2008-04-02 23:15:38
|
The functionality is already in jEdit core, but I don't think it is exposed on any of the search dialogs (I use the default one built into jEdit). import org.gjt.sp.util.StandardUtilities; String glob = "some*search"; String reString = StandardUtilities.globToRE(glob)); From there you can use the standard Java RE classes. On Wed, 02 Apr 2008 17:47:01 +0200, Blackwell <bla...@ne...> wrote: > > Speaking of which, is everyone happily hooked on regular > expressions, or are there people who'd like to use the simpler > wildcards/globs (*, ?) instead? (I am pretty incompatible with > regular expressions unfortunately, for example.) > > If so, here is a little helper which you stuff a wildcard string > into and which returns a Java regular expression string: > > http://javafaq.mine.nu/lookup?365 > > It would probably be easy to integrate, most work would be to > adjust the GUI I guess. > > > > Bye bye > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |