diff options
author | New Tobin Paradigm <email@mattatobin.com> | 2018-04-13 13:21:09 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-13 13:21:09 -0400 |
commit | 314016db7f55d24ad9d23197ca56462e78bc9ecc (patch) | |
tree | 1bdd6ad32474a6ff8eaae6fd1348c56b58ffeacc /application/palemoon/base/content/global-devtools-theme-scripts.inc | |
parent | 4f82d4067af9e65dbfd33f3a8b445affddc7ced4 (diff) | |
parent | 96e396f3455e7d955d6907b3e57260aaa0ac2369 (diff) | |
download | UXP-314016db7f55d24ad9d23197ca56462e78bc9ecc.tar UXP-314016db7f55d24ad9d23197ca56462e78bc9ecc.tar.gz UXP-314016db7f55d24ad9d23197ca56462e78bc9ecc.tar.lz UXP-314016db7f55d24ad9d23197ca56462e78bc9ecc.tar.xz UXP-314016db7f55d24ad9d23197ca56462e78bc9ecc.zip |
Merge pull request #142 from janekptacijarabaci/pm_devtools_3_developer-toolbar
Fix: Developer Toolbar (the command: "cookie"; themes)
Diffstat (limited to 'application/palemoon/base/content/global-devtools-theme-scripts.inc')
-rw-r--r-- | application/palemoon/base/content/global-devtools-theme-scripts.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/application/palemoon/base/content/global-devtools-theme-scripts.inc b/application/palemoon/base/content/global-devtools-theme-scripts.inc new file mode 100644 index 000000000..408728ed5 --- /dev/null +++ b/application/palemoon/base/content/global-devtools-theme-scripts.inc @@ -0,0 +1,6 @@ +# -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +<script type="application/javascript" src="chrome://browser/content/browser-devtools-theme.js"/> |