From e37a6016b9a9e19ab0590934a949dc1ec959db6b Mon Sep 17 00:00:00 2001 From: janekptacijarabaci Date: Fri, 13 Apr 2018 19:13:12 +0200 Subject: [PATCH] Fix a comment: "DevEdition theme" vs "DevTools theme" Issue #102 --- application/palemoon/base/content/browser-devtools-theme.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/application/palemoon/base/content/browser-devtools-theme.js b/application/palemoon/base/content/browser-devtools-theme.js index 247cf200d4..7b21ddedc0 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",