From 96e396f3455e7d955d6907b3e57260aaa0ac2369 Mon Sep 17 00:00:00 2001 From: janekptacijarabaci Date: Fri, 13 Apr 2018 19:13:12 +0200 Subject: 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 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", -- cgit v1.2.3