Bug#991640: openjfx: Cherry-pick patch to fix Hi-dpi scaling

Amr Ibrahim amribrahim1987 at hotmail.com
Thu Jul 29 14:08:06 BST 2021


Package: openjfx
Version: 11.0.11+0-1
Severity: important
Tags: upstream

Dear Maintainer,

I have a 4K Hi-dpi display, and when I set the display scaling to 200% in GNOME
Settings running on X11, a JavaFX application, MediathekView, does not respect
the 200% scaling and instead is not scaled at all.

I found this fixing commit upstream, which is part of version 11.0.11+1:
https://github.com/javafxports/openjdk-
jfx/commit/8508a767f9fa07e0ee3b76b00772688e67353db6

Please cherry-pick the fix to Debian Bullseye 11.


-- System Information:
Debian Release: 11.0
  APT prefers testing-security
  APT policy: (500, 'testing-security'), (500, 'testing-debug'), (500,
'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 5.10.0-8-amd64 (SMP w/8 CPU threads)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8),
LANGUAGE=en_GB:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages openjfx depends on:
ii  libopenjfx-java  11.0.11+0-1

Versions of packages openjfx recommends:
pn  openjfx-source  <none>

openjfx suggests no packages.



More information about the pkg-java-maintainers mailing list