hola tengo este inconveniente con el entorno de desarrollo jdeveloper el cual acabo de instalar, pero el mause no funciona bien pues cuando abro un menu con el click derecho y al pasar el mause por encima de este menu las opciones no se seleccionan, es un problema que también tiene netbeans a veces con gnome cinnamon, pero lo solucionan modificando el archivo netbeans.conf, pero este archivo de configuración no es muy evidente en jdeveloper,
que me aconsejan?
tengo fedora 17 x 64 con gnome shell 3.4.
