|
Is there a way to suggest DuckDuckGo instead of Google for failed search UI?
|
2
|
936
|
Mars 28, 2018
|
|
Replace the search bar with a third-party one
|
3
|
1105
|
Août 27, 2021
|
|
Use google search by default
|
1
|
479
|
Décembre 27, 2022
|
|
Change search endpoint
|
3
|
39
|
Septembre 7, 2024
|
|
Choose provider on 404 errors
|
0
|
256
|
Avril 29, 2023
|