On 12 March 2014 14:42, Patrick Chkoreff <pc@xxxxxxx> wrote: > Patrick wrote: > >>> How do I disable the Google and Wikipedia search options in the >>> Activities view? > > Ekaterina Gerasimova wrote, On 03/12/2014 10:30 AM: > >> You should be able to disable it in (system) Settings -> Search. > > Thanks, however, I just now brought up System Settings, and I do not see > an option named "Search". It was added at some point since the version that you're using. Essentially, that panel lets you customise which search providers are on and which are off, and even lets you switch it completely off. > (I do see Background, Brightness and Lock, ... User Accounts, but not > Search.) > > >> I've added this to the TODO for user docs for 3.12, and it would help >> if you could let me know which distribution you're using. > > Sure, here you go: > > $ uname -a > Linux desktop 3.2.0-4-amd64 #1 SMP Debian 3.2.54-2 x86_64 GNU/Linux > > > Incidentally, for those who want to use a different search engine such > as duckduckgo, there's this: > > http://askubuntu.com/questions/67660/is-it-possible-to-customise-the-search-engine-buttons-in-gnome-shell > > > -- Patrick > > _______________________________________________ > gnome-list mailing list > gnome-list@xxxxxxxxx > https://mail.gnome.org/mailman/listinfo/gnome-list _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list
