На Ubuntu 18.04 шрифт выделен жирным шрифтом, а на 18.10 - нет - PullRequest
Новая
       55

На Ubuntu 18.04 шрифт выделен жирным шрифтом, а на 18.10 - нет

0 голосов
/ 20 февраля 2019

enter image description here

Запуск приложения JavaFX в Ubuntu 18.04 делает шрифт полужирным, но 18.10 выглядит так, как и должен.

На рисунке показано (слева направо)

  1. окно 18.10,
  2. окно 18.04 и
  3. окно в Scenebuilder Preview, запущенном 18.04.

Я использую Ubuntu 18.10 и 18.04.Мое приложение использует openjdk-11.

java -version возвращает:

18.10: 

openjdk version "11.0.1" 2018-10-16
OpenJDK Runtime Environment (build 11.0.1+13-Ubuntu-3ubuntu3.18.10.1)
OpenJDK 64-Bit Server VM (build 11.0.1+13-Ubuntu-3ubuntu3.18.10.1, mixed mode, sharing)

18.04: 

openjdk version "11.0.1" 2018-10-16
OpenJDK Runtime Environment (build 11.0.1+13-Ubuntu-3ubuntu118.04ppa1)
OpenJDK 64-Bit Server VM (build 11.0.1+13-Ubuntu-3ubuntu118.04ppa1, mixed mode, sharing)

1 Ответ

0 голосов
/ 08 марта 2019

После некоторых копаний я обнаружил, что загружен файл с именем Styles.css.Его содержание было следующим: 

.button {
    -fx-font-weight: bold;
}

18.10 игнорируется, 18.04 - нет.Удаление этих строк исправило это.

...