jmeter-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From bugzi...@apache.org
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
https://bz.apache.org/bugzilla/show_bug.cgi?id=59995

--- Comment #4 from Felix Schumacher <felix.schumacher@internetallee.de> ---
Created attachment 34690
  --> https://bz.apache.org/bugzilla/attachment.cgi?id=34690&action=edit
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.
Mime
View raw message