jmeter-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
Subject [Bug 59995] Allow user to change font size with 2 new menu items and use "jmeter.hidpi.scale.factor" for scaling fonts
Date Fri, 10 Feb 2017 20:37:35 GMT

--- Comment #6 from Felix Schumacher <> ---
Date: Fri Feb 10 20:35:29 2017
New Revision: 1782519

Use instanceof instead of a string compare to get the font objects to scale.
Differentiate between Fonts and the more special FontUIResource instances.
Store the new Font instances in the UIDefaults instead of the UIManager.
The last change is needed on ubuntu to make the zoom feature usable for more
then one step.

Bugzilla Id: 59995


You are receiving this mail because:
You are the assignee for the bug.
View raw message