When I run SQL Developer in Gnome Shell, I am having problems with menus - I click on a menu and it appears, but then as soon as I release the mouse key it disappears. This problem does not occur in Unity. I tried following the steps on this page, but it doesn't seem to help. Has anyone ran into/solved this problem?