14 Apr
2015
14 Apr
'15
2:41 p.m.
As an attachment this time, apparently gmail mangled the previous attempt(s). This patch somewhat hackily enables matching things such as browser windows where the title isn't set properly until "long" after the window is mapped, because of the way HTML+DOM allows it to be set dynamically by scripts or etc. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net