Open Bug 1398152 Opened 7 years ago Updated 2 years ago

Allow to zoom DevTools' UI with ctrl+mousewheel

Categories

(DevTools :: General, enhancement, P5)

Product:
DevTools
Component:
General
Type:
enhancement

Tracking

(Not tracked)

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/
Product: Firefox → DevTools
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.