Este problema já foi consertado, então decidi postar a solução. Observe que o problema ainda está lá por padrão, mas pode ser corrigido por um parâmetro.
Adicionando esta linha:
_JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true'
para /etc/environment
corrige o problema.
Esta correção funciona a partir do Ubuntu 16.04 e OpenJDK 8u151 (não verificado com o Oracle JDK ou Java 9).
Observação : algumas fontes e configurações de AA complicam o problema. No jEdit, eu uso as fontes Java padrão ("Dialog", como é chamado) para tudo. Provavelmente você pode usar uma fonte diferente para a Área de Texto, mas a Caixa de Diálogo é a melhor para botões, etc. A melhor configuração de Área de Texto AA que eu encontrei é padrão , mas sua milhagem pode variar. p>