|
Is there a way to suggest DuckDuckGo instead of Google for failed search UI?
|
1
|
1045
|
26 de Março de 2018
|
|
Replace the search bar with a third-party one
|
3
|
1249
|
27 de Agosto de 2021
|
|
Use google search by default
|
1
|
595
|
27 de Dezembro de 2022
|
|
Change search endpoint
|
2
|
196
|
8 de Agosto de 2024
|
|
Choose provider on 404 errors
|
0
|
300
|
29 de Abril de 2023
|