[Wsmanager-devel] patch to disable active edge flipping when mouse is near hotcorners

[Ka-Hing C. <ja...@ja...>]

Hi,

I uploaded the said patch to the sf tracker:
http://sourceforge.net/tracker/index.php?func=detail&aid=879443&group_id=86417&atid=579549

I am emailing here because Richard doesn't seem to check the tracker too often
(which is a good thing, spend more time on wsmanager itself!)

- khc