the think to notice here is that this was not an issue with mutter version of Unity. I guess the implementation of menus in that case was working around this problem. also bug 722082 might have the same cause and seems to be targeted for unity 3.8
the think to notice here is that this was not an issue with mutter version of Unity. I guess the implementation of menus in that case was working around this problem. also bug 722082 might have the same cause and seems to be targeted for unity 3.8