Подтвердить что ты не робот

Увеличьте размер шрифта кода в инструменте разработчика firefox

Как увеличить шрифты кода в инструментах разработчика Firefox? Я знаю, что есть функция масштабирования, но я хочу установить размер шрифта только для кода.

4b9b3361

Ответ 1

Вам необходимо изменить userChrome.css под ~/.mozilla/firefox/[profile-name]/chrome с помощью этого:

/*  Styles for Web developer tools */
@namespace url(http://www.w3.org/1999/xhtml);
.CodeMirror {
    font-family:    "Ubuntu Mono", monospace !important;
    font-size:      15pt !important;
}

Результат выглядит следующим образом:

firefox

Это изменяет только редактор отладчика и стиля. Там другой селектор для html-инспектора. Не уверен, что это такое.

Ответ 2

  1. Открыть инструменты для разработчиков Firefox
  2. Нажмите Ctrl + + на Unix/Win или Cmd + + на Mac.

Чтобы быть ясным, я имею в виду ключ +. При этом вам не нужно удерживать Shift.

Ответ 3

Откройте Firefox и введите about:support. В разделе Основы приложения выберите "Папка профиля" - Открыть папку. Это уволит ваш файловый менеджер. Если папка chrome отсутствует, создайте ее. После этого перейдите в эту папку chrome и создайте файл userChrome.css, откройте его в текстовом редакторе и добавьте: .devtools-monospace {font-size: 12px!important;} Сохранить. Обязательно перезапустите Firefox.

ОБНОВЛЕНИЕ: меня беспокоило одно - при наборе в консоли devtools текст на самом деле немного меньше, чем при выводе (после нажатия Enter). Чтобы сделать его таким же, нам нужно изменить font-size для соответствующего класса css. Я еще не знаю его имя класса, поэтому я просто установил

* { font-size: 12px !important; } во всем мире, и это работает.

Ответ 4

Так что, как было сказано выше, короткий ответ - cmd + +.

Но знак + может быть недоступен непосредственно на вашей клавиатуре (без цифровой клавиатуры, ноутбука, странного макета).
Затем вам нужно нажать maj сначала, чтобы получить доступ к значку +, например, на раскладке американской клавиатуры: maj + =.
К сожалению, даже если вы правильно сфокусированы на панели инструментов dev, cmd + maj + = увеличивает шрифт панели просмотра, а cmd + - уменьшает шрифт на панели инструментов dev,
И вы получаете панель инструментов для веб-приложений с небольшим размером шрифта, который не читается, и не имеет возможности увеличить его.

Тогда ответ @Thal подходит, когда он сфокусирован на панели инструментов dev cmd + 0, сбрасывает размер шрифта инструмента разработчика до оригинала.

Если вы хотите ответить на вопрос, например, @Timothy_Truckle, вот несколько из них (по-прежнему сосредоточиться на панели инструментов dev, конечно):

  • переключитесь на раскладку клавиатуры США и нажмите cmd + =
  • найдите раскладку клавиатуры с доступным +, переключитесь на нее и нажмите cmd + +

Для вас, ребята, интересно, почему некоторым трудно просто нажать cmd + + или почему некоторым трудно сосредоточиться на панели инструментов dev (потому что они фактически фокусируются на панели инструментов dev, но результат такой, как если бы они были сосредоточены на панели просмотра веб-страниц).

Ответ 5

Вы можете указать стиль для селектора классов devtools-monospace. Для этого отредактируйте userChrome.css в своем каталоге mozilla profile chrome и укажите необходимые свойства CSS. Например:

.devtools-monospace {
    font-family: "Source Code Pro",monospace !important;
    font-size: 16px !important;
}

userChrome.css должен находиться в папке chrome вашего профиля Firefox. Если папка не существует, создайте ее. Затем ваш userChrome.css переопределит CSS из инструментов Firefox dev после перезапуска браузера.

Чтобы найти свой профиль в ОС Windows: Strg + R, а затем введите:

%APPDATA%\Mozilla\Firefox\Profiles\

Ответ 6

Некоторые элементы Firefox можно стилизовать в файле userChrome.css, который находится в папке Chrome вашего профиля Firefox.
Начиная с 2018 года, измените/создайте ~/.mozilla/firefox/[имя-профиля]/chrome/userChrome.css примерно так:

@-moz-document url-prefix("chrome://devtools/content/") {
    * { font-size: 13px !important; }
}

Затем перезапустите Firefox.

Решение на форумах Mozilla почти верно: https://support.mozilla.org/en-US/questions/1198481

Использование Ctrl + = или Cmd + = не было для меня идеальным вариантом, так как это увеличивало шрифты для всех элементов окна, включая имена вкладок.

Использовать .devtools-monospace { font-size: 13px !important;} было почти нормально, но это не повлияло на вкладки "Отладчик" и "Сеть".

Использование решения @bohag_bihu имело побочные эффекты для адресной строки и некоторых других текстовых вводов.

Ответ 7

Как сказал Джон, способ увеличить размер шрифта в devtools - использовать ctrl/cmd +, как и на веб-странице. Фактически devtools - это веб-страница. Вам просто нужно убедиться, что рамка devtools сфокусирована в первую очередь.

Я боюсь, что сейчас нет возможности только увеличить размер шрифта для кода.

Ответ 8

Я случайно удалил окно разработчика Firefox с минимальным размером (даже не мог его прочитать), "CMD +" (mac) не работал у меня, ну и только для главной веб-страницы, даже если консоль была Я просто нажал: "CMD 0", и он вернулся к нормальному состоянию, если это может быть хорошей альтернативой любому другому;)

Ответ 9

Зачем тратить время на поиск селекторов для разных компонентов devTool, измените размер шрифта для всех! Просто измените ответ Nan и добавьте эти строки в userChrome.css

@namespace url(http://www.w3.org/1999/xhtml);
* {
    font-family:    "Ubuntu Mono", monospace !important;
    font-size:      20px !important;
}