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". (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