diff options
| author | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-13 19:13:12 +0200 |
|---|---|---|
| committer | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-13 19:13:12 +0200 |
| commit | 96e396f3455e7d955d6907b3e57260aaa0ac2369 (patch) | |
| tree | f1cab0a2c64662cd87f888c03701ae782724be69 /application/palemoon/base/content/browser-devtools-theme.js | |
| parent | 70a08bf916232fdc4ba960c24ebcc62084a33c3b (diff) | |
| download | UXP-96e396f3455e7d955d6907b3e57260aaa0ac2369.tar UXP-96e396f3455e7d955d6907b3e57260aaa0ac2369.tar.gz UXP-96e396f3455e7d955d6907b3e57260aaa0ac2369.tar.lz UXP-96e396f3455e7d955d6907b3e57260aaa0ac2369.tar.xz UXP-96e396f3455e7d955d6907b3e57260aaa0ac2369.zip | |
Fix a comment: "DevEdition theme" vs "DevTools theme"
Issue #102
Diffstat (limited to 'application/palemoon/base/content/browser-devtools-theme.js')
| -rw-r--r-- | application/palemoon/base/content/browser-devtools-theme.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/application/palemoon/base/content/browser-devtools-theme.js b/application/palemoon/base/content/browser-devtools-theme.js index 247cf200d..7b21ddedc 100644 --- a/application/palemoon/base/content/browser-devtools-theme.js +++ b/application/palemoon/base/content/browser-devtools-theme.js @@ -3,8 +3,7 @@ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ /** - * Listeners for the DevEdition theme. This adds an extra stylesheet - * to browser.xul if a pref is set and no other themes are applied. + * Listeners for the DevTools theme. */ var DevToolsTheme = { _devtoolsThemePrefName: "devtools.theme", |