1417408 - Disabled developer tools installed by an add-on comes back enabled on re-open

Status: RESOLVED DUPLICATE of bug 1394750

(WebExtensions :: Developer Tools, defect, P5)

Description

[closingin]

User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:57.0) Gecko/20100101 Firefox/57.0
Build ID: 20171114144214

Steps to reproduce:

I disabled the HTTPS Everywhere developer tools (which worked), closed the tools panel, and re-opened it again.


Actual results:

The HTTPS Everywhere developer tools was enabled again.


Expected results:

It should remain disabled.

Comment 1

[closingin]

Attachment: Screenshot from the about:config page

After digging a little bit, it seems that whenever you open the devtools panel and disable an add-on based devtool, it appends a new entry with a (random ?) number in its name saying that the devtool is disabled.

This number appears apparently as : devtools.webext-extension-name_organisation_name-[random-number]-0-0-devtools-panel.enabled

The problem is that if you close and re-open the panel, the number isn't the same anymore so it cannot know if the devtool is disabled or not.