wuggy/Dactyloidae
wuggy/Dactyloidae
1
0
Fork 0
mirror of https://repo.dactyloidae.xyz/Dactyloidae/UXP.git synced 2026-10-04 22:37:29 +09:00
Code Issues Projects Releases Packages Wiki Activity

Fix a comment: "DevEdition theme" vs "DevTools theme"

Browse source 
Issue #102
This commit is contained in:
janekptacijarabaci 2018-04-13 19:13:12 +02:00 • committed by Roy Tam
commit e37a6016b9
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
application/palemoon/base/content/browser-devtools-theme.js
View file

@ -3,8 +3,7 @@
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
/** /**
* Listeners for the DevEdition theme. This adds an extra stylesheet * Listeners for the DevTools theme.
* to browser.xul if a pref is set and no other themes are applied.
*/ */
var DevToolsTheme = { var DevToolsTheme = {
_devtoolsThemePrefName: "devtools.theme", _devtoolsThemePrefName: "devtools.theme",