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 Sat, 11 Feb 2017 22:25:01 GMT

--- Comment #18 from Philippe Mouawad <> ---
(In reply to Graham Russell from comment #17)
> Sorry, by "before" do you mean JM 3.1 and trunk or do you mean between rev
> 1780244 and 1782519 or 1782571?

By before I meant without zoom.

> I've also noticed that if you use the ctrl + scrollwhell to increase it
> stops zooming (in or out) once a scrollbar appears and you have to zoom out
> (many times) using the menu before the scrollbar disappears.
> Maybe this could be fixed (or at least helped) by setting a max zoom level?
> You can also zoom very far out, which also doesn't seem so useful.
> My current opinion of this feature on Mint is that it isn't an improvement
> as it stands - it appears that only some of the title text changes size.
> A reset zoom option might also be very useful.

Yes , those would be helpful.
But I'd like to understand before why on different versions of Windows/Devices,
display is so different. 
If nothing can be done, I'm not sure this feature should be enabled by default.

> Thanks

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