[tor-bugs] #16046 [Tor Browser]: Manual HTTP proxy configuration broken?

[Tor Bug Tracker & Wiki]

#16046: Manual HTTP proxy configuration broken?
-----------------------------+----------------------
     Reporter:  vynX         |      Owner:  tbb-team
         Type:  defect       |     Status:  closed
     Priority:  major        |  Milestone:
    Component:  Tor Browser  |    Version:
   Resolution:  duplicate    |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+----------------------

Comment (by vynX):

 Ok now I understand what I was missing. In that case however there seems
 to be no way for me to "disable TorButton" as stated in the Mozilla
 Preferences. Looks like I need to make myself a torlauncher in order to be
 able to disable TorButton, still it could be an improvement if TorButton
 was at least visibly complaining or going on strike whenever torlauncher
 isn't there. I may not be the last guy to compile Tor Browser from
 source...

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