答案1
在 Firefox 27 中,Codemirror 现在被部署为默认代码编辑器:
代码镜像
Codemirror 是一款流行的基于 HTML5 的代码编辑器组件,用于网站。它可自定义并可设置主题。Firefox Devtools 现在在多个地方使用 CodeMirror:样式编辑器、调试器、检查器(以 HTML 形式编辑)和 Scratchpad。
从选项面板中,用户可以选择使用哪个主题(深色或浅色)。
来源:Firefox 开发人员工具:第 27 集 – 编辑为 HTML、Codemirror 等
这对我有用~/.mozilla/firefox/profile-name/chrome/userChrome.css
。
@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document regexp("chrome://browser/content/devtools/.*"){
* { font-size: 20px !important }
}
答案2
对我来说最简单的解决方法是在 KDE 字体设置中更改 DPI 值。现在所有其他字体都太大了,但至少我可以读取调试器。
答案3
您还可以userChrome.css
在以下位置创建:
/usr/lib/firefox-dev/browser/chrome/
(32 位)
/usr/lib64/firefox-dev/browser/chrome/
(64 位)
userChrome.css
当我在文件夹中创建时,它对我有用/usr/lib64/firefox-dev/browser/chrome/
。这也应该使您的更改成为全局的。