Open
Bug 1398152
Opened 7 years ago
Updated 2 years ago
Allow to zoom DevTools' UI with ctrl+mousewheel
Categories
(DevTools :: General, enhancement, P5)
DevTools
General
Tracking
(Not tracked)
NEW
People
(Reporter: pbro, Unassigned)
Details
Ctrl +/- works to resize the UI of DevTools, but not Ctrl+mousewheel, whereas this works in the browser content area. The zoom feature is implemented in /devtools/client/shared/zoom-keys.js I guess we should add a mousewheel listener on window, in this file, check that Ctrl is pressed (or whatever equivalent is on Mac), and then call the setZoom function with the right value. This seems easy and actionable enough that we should implement it. P5 for now, because that's not really on our roadmaps, but we'll gladly accept patches if people want to try their luck on this. Make sure you first go through the contribution guides at docs.firefox-dev.tools And feel free to ask for help on irc.mozilla.org at #devtools, or on Slack by connecting via https://devtools-html-slack.herokuapp.com/
Updated•6 years ago
|
Product: Firefox → DevTools
Updated•2 years ago
|
Severity: normal → S3
You need to log in
before you can comment on or make changes to this bug.
Description
•