После нескольких часов исследований я сдаюсь.
Есть ли простой способ взломать Dev Tools и изменить семейство шрифтов, которое они используют? Я провожу много часов, смотря на это окно, поэтому мне бы хотелось, если бы я мог использовать моноширинный шрифт по своему выбору.
Этот я узнал из Дарси Кларк, и я попал на его пост, перейдя по ссылке Пола Ирландии или Адди Османи. Я никогда не думал, что наступит тот день, когда кто-то попросит эту очень точную функцию.
a) Вам нужно включить экспериментальные функции devtools (откройте chrome://flags/#enable-devtools-experiments в поле url). Перезапустите Chrome.
b) Откройте настройки devtools и на вкладке эксперимента включите тему пользовательского интерфейса
3. Просмотрите темы devtools среди chrome-расширений или используйте Paul Irish sample для создания собственного.
Наслаждайтесь!
Я создал небольшой плагин, который предоставляет коллекцию настроек редактора для инструментов разработчика Chrome, , включая возможность установки на вашем компьютере настраиваемого семейства шрифтов.
Это добавит панель "Настройки автора" в Инструменты разработчика Chrome, где вы можете отредактировать семейство шрифтов, применяемое к инструментам разработчика Chrome.
