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, 28 Jan 2017 15:51:43 GMT

--- Comment #4 from Felix Schumacher <> ---
Created attachment 34690
Enable zooming by pressing ctrl and using the mousewheel

This patch registers a mousewheel listener on the MainFrame, that lets the user
zoom by pressing ctrl and turning the mousewheel.

It will not work on the JSyntaxTextArea :(

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