Posição do ponteiro fora do menu do Java Application ao usar o gnome-shell

Question

Ao usar qualquer aplicativo java no gnome-shell, se a janela estiver maximizada, a posição do ponteiro estará desativada; mas apenas no menu, no editor ou no painel lateral, o ponteiro está bem.

Isso só se apresenta quando a janela é maximizada, e parece que quanto mais longe da 0x0 a janela é quando você a maximiza, maior o deslocamento do ponteiro.

Pelo que eu aprendi, a janela não está atualizando seu tamanho quando é maximizada.

A outra questão é que, quando aparece uma notificação do gnome-shell, ao clicar nela, perco a capacidade de digitar o editor, posso selecionar texto, etc., mas não posso dar foco ao tipo. Eu preciso trazer alguma outra entrada de texto (por exemplo, clique com o botão direito do mouse em um arquivo à esquerda, selecione renomear, que abre uma caixa de diálogo de renomeação) depois disso, eu posso digitar o editor novamente.

Então, como posso corrigir isso?

Abaixo está o máximo de informações que posso fornecer

  

$ gnome-shell --version
  GNOME Shell 3.6.1

     

$ java -version
  Java versão "1.7.0_09" Java (TM) SE Runtime   Environment (build 1.7.0_09-b05) VM do servidor Java HotSpot (TM) de 64 bits
  (compilação 23,5-b02, modo misto)

     

$ arquivo / etc / alternatives / java / etc / alternatives / javac
  / etc / alternatives / java: link simbólico para '/ usr / lib / jvm / java-7-oracle / jre / bin / java'
  / etc / alternatives / javac: link simbólico para '/ usr / lib / jvm / java-7-oracle / bin / javac'

    

Answer 1

Este bug foi corrigido na versão EAP do PHPstorm após este post, tanto quanto eu sei que uma correção global foi implementada com a versão java atualizada.