-
intrigeri authored
I did not manage to prevent the omnibar from allowing search so let's simply delete the search plugins, which is the same, from an end-user perspective, as before: we hid the search bar via userChrome.css. I'm not removing this one-liner in userChrome.css though, just in case it's re-enabled by default at some point via Tor Browser prefs or something.
d318f00f