On Thu, Oct 09, 2008 at 11:54:35PM +0100, Thomas Adam wrote: > 2008/10/5 Thomas Adam <[EMAIL PROTECTED]>: > > Hi, > > > > With the latest addition for allowing $[w.visiblename] expansion, > > allowing a window's visible name to match as a valid identifier to a > > style line is perhaps the biggest use case for this addition. See the > > patch attached which implements this. > > [...] > > Please do not think I am being pushy -- far from it, but is there an > update on this as to its suitability, or something I might have > overlooked?
No, I'm just too busy to look into the patch. I'll do that sooner or later. Ciao Dominik ^_^ ^_^ -- Dominik Vogt
