Как поменять шрифт в Firefox developer в devtools?

Question

[newhacke]

Кроме вот этой
https://stackoverflow.com/questions/27273389/incre...
ссылки никакой инфы нет. Я так понимаю что все для обычной версии firefox не devoloper и возможно для более ранних версий нежели текущих. Через about config можно только увеличить зум.
Но как поменять font family или font-size шрифта в девтулс ??

Comments

[Lynn «Кофеман»]

Так ничего не поменялось. Всё так же через userChrome.css

[newhacke]

Lynn «Кофеман», У меня по этому адрессу (C:\Users\root\AppData\Roaming\Mozilla\Firefox\Profiles\gomt5wax.dev-edition-default\chrome) лежит файл userChrome.css
В нем вот такой вот код

.devtools-monospace,
.CodeMirror,
.CodeMirror pre {
    font-family: "Hack" !important;
    font-size: 14px;
}

Что я делаю не так?

[Lynn «Кофеман»]

https://www.userchrome.org/how-create-userchrome-c...

Firefox 69 will no longer look for this file automatically. You need to tell it to look. Here's how:

[newhacke]

Lynn «Кофеман», Друг, да я видел это, у меня стоит true, что еще может быть?)

Answer 1

[Lynn «Кофеман»]

Похоже всё несколько поменялось.
У меня работает так:
Файл <мой профиль>/chrome/userContent.css (обрати внимание на имя файла!)

@-moz-document url-prefix("chrome://devtools/content/") {
  :root {
    --theme-body-font-size: 13px !important;
    --theme-code-font-size: 13px !important;
    --theme-code-line-height: 1.2 !important;
    --monospace-font-family: 'Hack', monospace !important;
  }
}

В about:config включить настройку toolkit.legacyUserProfileCustomizations.stylesheets: true

картинка

Источники:
https://www.userchrome.org/how-create-userchrome-c...
forums.mozillazine.org/viewtopic.php?p=14855406#p1...
https://searchfox.org/mozilla-release/source/devto...
https://searchfox.org/mozilla-release/source/devto...

Comments

[newhacke]

Каждый месяц по три часа уделял этому моменту и никак не мог решить эту проблему))) Спасибо огромное!))