Position du pointeur bien loin dans Java Menu d'application lors de l'utilisation de gnome-shell
Lorsque vous utilisez une application Java dans gnome-Shell si la fenêtre est agrandie, la position du pointeur est loin; mais uniquement dans les menus, dans l'éditeur ou sur le panneau latéral, le pointeur est correct.
Cela ne se présente que lorsque la fenêtre est maximisée, et il semble que plus la fenêtre est éloignée de 0x0 lorsque vous la maximisez, plus le décalage du pointeur est grand.
D'après ce que j'ai compris, cela a à voir avec la fenêtre qui ne met pas à jour sa taille lorsqu'elle est maximisée.
L'autre problème est que lorsqu'une notification gnome-Shell apparaît, lorsque je clique dessus, je perds la possibilité de taper dans l'éditeur, je peux sélectionner du texte, etc., mais je ne peux pas lui donner le focus pour taper. Je dois faire apparaître une autre entrée de texte (par exemple, cliquer avec le bouton droit sur un fichier à gauche, sélectionner renommer, ce qui fait apparaître une boîte de dialogue de changement de nom), après quoi je peux taper à nouveau dans l'éditeur.
Alors, comment puis-je résoudre ce problème?
Voici autant d'informations que je peux penser pour fournir
$ gnome-Shell --version
Shell GNOME 3.6.1$ version Java
Java version "1.7.0_09" Java (TM) SE Runtime
Environnement (build 1.7.0_09-b05) Java VM Server 64 bits HotSpot (TM)
(build 23.5-b02, mode mixte)$ fichier/etc/alternatives/Java/etc/alternatives/javac
/etc/alternatives/Java: lien symbolique vers '/ usr/lib/jvm/Java-7-Oracle/jre/bin/Java'
/etc/alternatives/javac: lien symbolique vers '/ usr/lib/jvm/Java-7-Oracle/bin/javac'
Ce bug a été corrigé dans la version EAP de PHPstorm après ce post, pour autant que je sache, un correctif global a été implémenté avec la version mise à niveau Java Java.