Matthias B. <[EMAIL PROTECTED]> wrote: > Have you submitted this via Bugzilla (open a bug for the issue if none > exists, yet)? Or will this patch break things for other window managers?
No, I haven't. I think it won't break things but it fixes the bug not in the best way. Anyway a bug should be reported (and patch attached as an exemplary solution.) -- Best regards, Kamil ---------------------------------------------------------------------- Portal INTERIA.PL zaprasza... >>> http://link.interia.pl/f17cb
