Super – danke. Ich hab noch eine Safari-Extension gefunden, die ähnliches kann, CustomSearch
http://safariextendr.com/extension/customsearch
http://sidetree.com/extensions/CustomSearch_changes.html
Wohl seit 2015 nicht mehr verändert, scheint aber zu funktionieren.
http://sidetree.com/extensions/CustomSearch_changes.html
Wohl seit 2015 nicht mehr verändert, scheint aber zu funktionieren.