12 Sep
2008
12 Sep
'08
11:57 p.m.
On Fri, Sep 12, 2008 at 10:56:47PM -0400, Gwern Branwen wrote:
Oh. Hmm, it still sounds useful. Incidentally, how exactly does one use it? I gave it a desultorily try, but I was unsure how exactly one gets the Window argument - I tried using withWindowSet, but got bogged down extracting the Window parameter from it.
You're probably looking for withFocused. You can see its definition in Operations.hs -- it uses withWindowSet.