diff options
| -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", |