Re: [PATCH] wxwidgets: enable extended regexps

[Danny Milosavljevic]

Hi,

On Mon, 15 Feb 2016 17:47:36 -0500
"Thompson, David" <address@hidden> wrote:

> On Mon, Feb 15, 2016 at 5:07 PM, Andreas Enge <address@hidden> wrote:
> > On Mon, Feb 15, 2016 at 05:04:09PM -0500, Leo Famulari wrote:  
> >> Can you test that some of these other apps still work with this change?  
> >
> > $ guix refresh -l wxwidgets
> > A single dependent package: wxmaxima-15.04.0  
> 
> Additionally, the wxwidgets-2 package, which inherits from wxwidgets,
> is used by Audacity.

Thanks.

For the record (since it will take some time for this to be able to be tested), 
the only place wxRegEx is used in in audacity is in the Help, which I'm 
currently trying to get to work at all (see bug# 22705).

It's mangling the pagename of the page it's supposed to open like this:

- Replace pattern-matched "%.." => "_"
- Replace all non-alphanumeric which aren't space or "." by "_"
- Replace space => "+"
- Replace multiple underscores by single underscore (__+ => _)
- Non-regex-Replace "_." by "."
- concatenate the result and ReleaseSuffix and anchor in order to yield a 
filename and an URL to look up.