MySQL Bugs: #94866: MySQL Workbench 8 almost has no HiDPI support for resources

Bug #94866	MySQL Workbench 8 almost has no HiDPI support for resources
Submitted:	2 Apr 2019 11:30	Modified:	2 Apr 2019 12:20
Reporter:	Mykola Krachkovsky	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench	Severity:	S3 (Non-critical)
Version:	8.0.15	OS:	Linux
Assigned to:		CPU Architecture:	Any

Description:
Current Linux (GTK3) implementation has no full HiDPI support for resources. Also GTK3 implementation uses DPI scaling while HiDPI resources are twice scaled, so it works fine only with no HiDPI and 2x HiDPI screens.
Also "About" window is invisible

How to repeat:
1. Run MySQL Workbench on HiDPI screen.
2. Check blurred images.
3. Open "Help" → "About Workbench", about window has no content.

Suggested fix:
I've made fix for Linux, which includes HiDPI resources in CMake file, fixes their drawing and somewhat fixes About window — at least makes text proportional to window, though I think window size is incorrect. I'll attach diff.

HiDPI fix for GTK3 Linux

Attachment: mysql-workbench-hidpi.patch (text/x-patch), 12.67 KiB.

Thank you for the bug report and contribution.
In order to submit contributions you must first sign the Oracle
Contribution Agreement (OCA). For additional information please check
http://www.oracle.com/technetwork/community/oca-486395.html

If you have any questions, please contact the MySQL community team at
http://www.mysql.com/about/contact/?topic=community