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).
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 ag...