On 05.08.2017 15:39, Michael Van Canneyt via Lazarus wrote:
Since I have the same setup as the reporter I have applied the patch
provided in this bugreport, and then HighDPI works on Linux.
The buttons and images have a reasonable size, font looks normal...
So, from my point of view, that patch can be applied ASAP :)
Thanks for the feedback - sometimes it's quite hard to get feedback from
the reporters. I applied the patch.
Lazarus mailing list