[tor-bugs] #32224 [Applications/Tor Browser]: Add extensions.torbutton.use_nontor_proxy back to Tor Browser 9!!

[Tor Bug Tracker & Wiki]

#32224: Add extensions.torbutton.use_nontor_proxy back to Tor Browser 9!!
--------------------------------------+--------------------------
 Reporter:  cypherpunks               |          Owner:  tbb-team
     Type:  task                      |         Status:  closed
 Priority:  Immediate                 |      Milestone:
Component:  Applications/Tor Browser  |        Version:
 Severity:  Blocker                   |     Resolution:  invalid
 Keywords:                            |  Actual Points:
Parent ID:                            |         Points:
 Reviewer:                            |        Sponsor:
--------------------------------------+--------------------------
Changes (by gk):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 That preference is not gone. The code surrounding it is still there. See:
 https://gitweb.torproject.org/torbutton.git/tree/chrome/content/torbutton.js#n171
 https://gitweb.torproject.org/torbutton.git/tree/chrome/content/torbutton.js#n1203
 etc.

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