mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-04 11:26:09 +00:00
2aa1f50355
I think the current default width is fine, but if we need some extra width we can use --panel-width on the panel and that's fine. The current width change isn't all that big. Differential Revision: https://phabricator.services.mozilla.com/D196022 |
||
---|---|---|
.. | ||
addons | ||
linux | ||
osx | ||
shared | ||
test/browser | ||
windows | ||
BuiltInThemeConfig.sys.mjs | ||
BuiltInThemes.sys.mjs | ||
LICENSE | ||
moz.build | ||
ThemeVariableMap.sys.mjs |