Allow to zoom DevTools' UI with ctrl+mousewheel

NEW
Unassigned

Status

()

Firefox
Developer Tools
P5
enhancement
a month ago
a month ago

People

(Reporter: pbro, Unassigned)

Tracking

Firefox Tracking Flags

(Not tracked)

Details

(Reporter)

Description

a month ago
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/
You need to log in before you can comment on or make changes to this bug.