[Feature request] DevTools monospaced fonts - ability to choose which font to use

[arfmach]

Wherever DevTools uses a monospaced fonts (e.g. Inspector HTML, Console, Network Sources code, Style Editor etc.), the user should be able to choose the font used for those texts (one choice for all places, of course).

[Jon]

Thanks for submitting an idea to the Mozilla Connect community! Your idea is now open to votes (aka kudos) and comments.

[walleton]

😐

[Honza]

Hey @arfmach 

your request looks like the one already filed in our bug tracker

https://bugzilla.mozilla.org/show_bug.cgi?id=1559152

Is the accurate?

[arfmach]

Hello, @Honza.

Yes, it is exactly what I've suggested.

It seems that the request in the bug tracker stalled long ago, although it was labeled with Priority P2… Will it be implemented someday? Is there something we can do to make it receive attention again and eventually get done?

Thanks.

[Honza]

Yes, please post a comment directly to the bug explaining your use case and why do you think it should be supported (to get more attention). Thank you!