37 optionally disable tor

Santiago Torres-Ariasrequested to merge
37_optionally_disable_tor into master

Provides:

  • Checkbox in the settings view to disable Tor if not connected to a wifi network
  • A network change callback in the Tor plugin to identify wifi connect/disconnect events
  • A settings change event handler to disable enable tor when the user enables or disables the setting

Merge request reports