Karthik T 285376b049 Fix mouse focus bug with favorites menu ... If you click on favorites and click on any area outside menu -> nothing happens This is because the mouse is grabed by window. Fix this by registering a callback instead of immediately grabbing(not sure why this was added by Michael) Frankly this code can use some DRY love		2013-10-24 00:51:19 +08:00
..
mintMenu	Fix mouse focus bug with favorites menu	2013-10-24 00:51:19 +08:00