Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Changing Developer Tools Font Face (family)

Tags:

After hours of research, I give up.

Is there any straightforward way to hack Dev Tools and change the font family they are using? I'm spending many hours looking at this window so I'd love if I could use a monospaced font of my choice.

like image 765
George Katsanos Avatar asked Aug 24 '14 16:08

George Katsanos


People also ask

How do I change the font size in Google Chrome developer tools?

You can use the "Ctrl +" and "Ctrl -" shortcuts to change the DevTools zoom, just like in any page (or "Ctrl 0" to reset it to 100%). As far as I remember, the user stylesheet support was removed in Chrome 33.


1 Answers

I've created a small plugin which provides a collection of editor settings for Chrome Developer Tools, including the ability to set a custom font family enabled on your computer.

  1. Install DevTools Author Chrome extension from Chrome Web Store
  2. Enable Developer Tools experiments in chrome://flags/#enable-devtools-experiments. Restart Chrome for flags to take effect.
  3. Open DevTools (cmd + opt + I); Settings > Experiments > check Allow custom UI themes.

This will add an 'Author Settings' panel to Chrome Developer Tools, where you can edit the font-family being applied to the Chrome Developer Tools.

enter image description here

like image 104
micjamking Avatar answered Oct 22 '22 02:10

micjamking