如何在Firefox开发者工具中增大代码字体?
我知道有缩放功能,但我只想针对代码设置字体大小。
为了明确,我指的是+键。在大多数键盘上,您不需要同时按下Shift键。
devtools.toolbox.zoomValue
。 - lxxxviabout:config
并将 devtools.toolbox.zoomValue
设置为更大的值。~/.mozilla/firefox/[profile-name]/chrome
下的userChrome.css
文件,将其改为以下内容:/* 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 浏览器,在地址栏输入 about:support
,进入应用基础信息部分,选择配置文件夹 - 打开文件夹。这将启动您的文件管理器。如果没有chrome
文件夹,则创建一个。然后进入chrome
文件夹并创建一个userChrome.css
文件,用文本编辑器打开它并添加:
.devtools-monospace {font-size: 12px!important;}
保存。请确保重启 Firefox。
更新:当在 devtools 控制台中输入文本时,实际上字体大小要比输出(按 Enter 键后)小一些。为了使它们相同,我们还需要更改其相应 CSS 类的字体大小。我不知道它的类名,所以我只是全局设置了
* { font-size: 12px !important; }
,它起作用了。
maj
来访问+符号,例如在美式键盘布局上:maj+=。SHIFT
或MAJ
的键盘上的 +
适用于主窗口/标签页。但它在同一浏览器内的dev tools部分不起作用。对我来说,这听起来像是Firefox开发团队可以轻松解决的问题。 - ikaeromFirefox的一些元素可以在位于您的Firefox配置文件的chrome文件夹中的userChrome.css文件中进行样式设置。
截至2018年,您可以使用类似以下内容修改/创建~/.mozilla/firefox/[profile-name]/chrome/userChrome.css:
@-moz-document url-prefix("chrome://devtools/content/") {
* { font-size: 13px !important; }
}
.devtools-monospace { font-size: 13px !important;}
几乎没问题,但它不影响调试器和网络选项卡。您可以指定devtools-monospace
类选择器的样式。要进行此操作,请编辑位于mozilla配置文件的chrome
目录中的userChrome.css
,并指定所需的CSS属性。例如:
.devtools-monospace {
font-family: "Source Code Pro",monospace !important;
font-size: 16px !important;
}
userChrome.css
需要放在 Firefox 配置文件的 chrome
文件夹中。如果该文件夹不存在,请创建它。重启浏览器后,您的 userChrome.css
将覆盖 Firefox 开发工具中的 CSS。%APPDATA%\Mozilla\Firefox\Profiles\
我不小心把我的火狐开发者窗口调整到了最小尺寸(甚至无法阅读),"CMD +"(Mac)对我没有用,即使控制台处于焦点状态,只对主网页有效。我只需按下 "CMD 0",它就恢复正常了,如果这对其他人来说是一个好的替代方案 :)
@namespace xul url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
@namespace html url("http://www.w3.org/1999/xhtml");
虽然这样做不会:
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
@namespace html url("http://www.w3.org/1999/xhtml");
.devtools-monospace,
.CodeMirror,
.CodeMirror pre {
font-family: "Courier New", monospace !important;
font-size: 10pt !important;
}
userChrome.css
调整的答案,这些都不起作用。 - Mikhail V