[tor-bugs] #19929 [- Select a component]: add a "Restore Tor Defaults" button to the Firefox proxy prefs dialog

[Tor Bug Tracker & Wiki]

#19929: add a "Restore Tor Defaults" button to the Firefox proxy prefs dialog
--------------------------------------+-----------------
     Reporter:  mcs                   |      Owner:
         Type:  defect                |     Status:  new
     Priority:  Medium                |  Milestone:
    Component:  - Select a component  |    Version:
     Severity:  Normal                |   Keywords:
Actual Points:                        |  Parent ID:
       Points:                        |   Reviewer:
      Sponsor:                        |
--------------------------------------+-----------------
 While working on #15852 and after pulling on the "remove support for old
 prefs and for toggling Tor mode off" thread, Kathy and I removed the
 misleading "Disable Torbutton to change these settings" notice that was
 overlaid on the Firefox proxy preferences dialog.

 After doing that, we ended up with an empty overlay inside
 src/chrome/content/pref-connection.xul. We could remove that file, but for
 now we will leave it in place in case we want to add a "Restore Tor
 Defaults" button to the Firefox proxy preferences dialog.

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