Re: [Chrome DevTools] Font family in macOS in developer tools

[PhistucK]

I believe those settings set the default font, or generic font family fonts. So if a web page defined a specific font (and not "serif", "sans-serif" or "monospace", for example, if I am not mistaken), the default font will not be applied.

Since the Developer Tools feature probably uses a specific monospace font ("Consolas", I believe), it does not apply to it.

However, you can change it by creating (or finding) a Developer Tools theme extension and enabling the custom theme experiment.

See this repository for how to enable themes as well as for the source code of a theme extension on which you can base your theme -

https://github.com/mauricecruz/chrome-devtools-zerodarkmatrix-theme

☆PhistucK

On Mon, Apr 10, 2017 at 9:06 AM, Michael <mail.micha...@gmail.com> wrote:

Hello everyone,

I try to change the default font family in google chrome (settings -> fonts and so on) on my macOS.

There's Menlo set as default font family. I want change it for example to Monaco.

If I set Monaco as font family at settings and look at parts of chrome where monospaced font is used (e.g. source code of a webpage), I can see the changes.

But NOT in developer tools.

Why? How can I change the font also in developer tools. I want to have a possibility to set my monospaced font family once and have it on all points of my app where monospace font is implemented.

Is it a bug of macOS or a problem of Google Chrome?

Regards,

Michael

--
You received this message because you are subscribed to the Google Groups "Google Chrome Developer Tools" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-chrome-developer-tools+unsub...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/google-chrome-developer-tools/3d29dc00-6dd7-46d2-b1df-feaa4d638782%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Pavel Feldman]

DevTools is a part of Chrome, it is not a web page. When you change fonts defaults under settings -> fonts, you don't expect chrome's text to change, only the one of the web page. You can file a bug at crbug.com/new for configurability of the fonts for DevTools source code though.

Thanks

Pavel

On Mon, Apr 10, 2017 at 12:03 AM, PhistucK <phis...@gmail.com> wrote:

I believe those settings set the default font, or generic font family fonts. So if a web page defined a specific font (and not "serif", "sans-serif" or "monospace", for example, if I am not mistaken), the default font will not be applied.

Since the Developer Tools feature probably uses a specific monospace font ("Consolas", I believe), it does not apply to it.

However, you can change it by creating (or finding) a Developer Tools theme extension and enabling the custom theme experiment.

See this repository for how to enable themes as well as for the source code of a theme extension on which you can base your theme -

https://github.com/mauricecruz/chrome-devtools-zerodarkmatrix-theme

☆PhistucK

On Mon, Apr 10, 2017 at 9:06 AM, Michael <mail.michael.belokon@gmail.com> wrote:

Hello everyone,

I try to change the default font family in google chrome (settings -> fonts and so on) on my macOS.

There's Menlo set as default font family. I want change it for example to Monaco.

If I set Monaco as font family at settings and look at parts of chrome where monospaced font is used (e.g. source code of a webpage), I can see the changes.

But NOT in developer tools.

Why? How can I change the font also in developer tools. I want to have a possibility to set my monospaced font family once and have it on all points of my app where monospace font is implemented.

Is it a bug of macOS or a problem of Google Chrome?

Regards,

Michael

--
You received this message because you are subscribed to the Google Groups "Google Chrome Developer Tools" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-chrome-developer-tools+unsub...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/google-chrome-developer-tools/3d29dc00-6dd7-46d2-b1df-feaa4d638782%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Google Chrome Developer Tools" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-chrome-developer-tools+unsub...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/google-chrome-developer-tools/CABc02_%2BB1OHKV0b1u3eZvwZRdPLPb4keuinOuDAxShw1W4Vk%3Dw%40mail.gmail.com.