[tor-bugs] #9800 [Tor]: tor browser still an option of default browser even after removal

[Tor Bug Tracker & Wiki]

#9800: tor browser still an option of default browser even after removal
---------------------------+----------------------------------
 Reporter:  gabrielcampos  |          Owner:
     Type:  defect         |         Status:  new
 Priority:  normal         |      Milestone:
Component:  Tor            |        Version:  Tor: unspecified
 Keywords:                 |  Actual Points:
Parent ID:                 |         Points:
---------------------------+----------------------------------
 I removed the TorBrowser by deleting the app, but couldn't find the
 Library neither the Vidalia folder to delete. Not sure if this is the
 cause, but Tor is still an option for Default Browser under Safari
 Preferences. I'm using OS X 10.8.5 on a MacBook Pro.

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