[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:  new
     Priority:  major        |  Milestone:
    Component:  Tor Browser  |    Version:
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+----------------------

Comment (by mcs):

 Replying to [comment:2 vynX]:
 > I noticed a barely visible notice on the menu stating that I have to
 disable Torbutton to be able to change those settings. Going to Torbutton
 the "Tor Network Settings" item opens no window or anything. I assume that
 is a bug, possibly of my compile. I have generated torbrowser from tor-
 browser-31.7.0esr-4.5-1-build1.tar.gz. I am using it with an external Tor
 router.

 That menu item opens a window that is implemented by the Tor Launcher
 extension and does nothing if Tor Launcher is not installed.  If you are
 not using tor's proxy, then you probably do not want Tor Network Settings
 anyway.

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