summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMoonchild <mcwerewolf@gmail.com>2018-04-22 10:13:00 +0200
committerGitHub <noreply@github.com>2018-04-22 10:13:00 +0200
commitcbe93351ee1d924090fc689f85c657c3e1aac41d (patch)
treee1a923cc12c70e06a23127c3b86b21e4b208f477
parenta558ac8ac92208a5bc6fdaf77e9ea269559ee978 (diff)
parent9e45391482dcbbc45414142bf38d326522a03450 (diff)
downloadUXP-cbe93351ee1d924090fc689f85c657c3e1aac41d.tar
UXP-cbe93351ee1d924090fc689f85c657c3e1aac41d.tar.gz
UXP-cbe93351ee1d924090fc689f85c657c3e1aac41d.tar.lz
UXP-cbe93351ee1d924090fc689f85c657c3e1aac41d.tar.xz
UXP-cbe93351ee1d924090fc689f85c657c3e1aac41d.zip
Merge pull request #227 from janekptacijarabaci/devtools_preprocessor_1
Use preprocessor for "chrome://devtools/skin/devtools-browser.css" in browser.xul
-rw-r--r--browser/base/content/browser.xul2
1 files changed, 2 insertions, 0 deletions
diff --git a/browser/base/content/browser.xul b/browser/base/content/browser.xul
index 5879f2a29..485471ee3 100644
--- a/browser/base/content/browser.xul
+++ b/browser/base/content/browser.xul
@@ -9,7 +9,9 @@
<?xml-stylesheet href="chrome://browser/content/browser.css" type="text/css"?>
<?xml-stylesheet href="chrome://browser/content/places/places.css" type="text/css"?>
<?xml-stylesheet href="chrome://browser/content/usercontext/usercontext.css" type="text/css"?>
+#ifdef MOZ_DEVTOOLS
<?xml-stylesheet href="chrome://devtools/skin/devtools-browser.css" type="text/css"?>
+#endif
<?xml-stylesheet href="chrome://browser/skin/controlcenter/panel.css" type="text/css"?>
<?xml-stylesheet href="chrome://browser/skin/customizableui/panelUI.css" type="text/css"?>
<?xml-stylesheet href="chrome://browser/skin/" type="text/css"?>