[tor-bugs] #15984 [Tor Browser]: disabling Torbutton breaks the Add-ons manager

[Tor Bug Tracker & Wiki]

#15984: disabling Torbutton breaks the Add-ons manager
-----------------------------+---------------------------
     Reporter:  cypherpunks  |      Owner:  tbb-team
         Type:  defect       |     Status:  new
     Priority:  normal       |  Milestone:
    Component:  Tor Browser  |    Version:
   Resolution:               |   Keywords:  tbb-torbutton
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+---------------------------

Comment (by cypherpunks):

 The problem is the inability to access the add-ons page, whether to re-
 enable torbutton or to manage other add-ons. Actually my purpose was to
 find a way to set custom proxy settings for Tor. Since those settings were
 removed from the Torbutton menu on last Tor Browser, I went to the
 browser's own network settings page and there it told me to disable
 Torbutton to change those settings. I think I could have done it using
 custom prefs but setting them manually sucks and I couldn't get it to
 work. And after disabling Torbutton, found this bug.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/15984#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online