|
Is there a way to suggest DuckDuckGo instead of Google for failed search UI?
|
2
|
931
|
2018 年 3 月 28 日
|
|
Replace the search bar with a third-party one
|
3
|
1103
|
2021 年 8 月 27 日
|
|
Use google search by default
|
1
|
477
|
2022 年 12 月 27 日
|
|
Change search endpoint
|
3
|
38
|
2024 年 9 月 7 日
|
|
Choose provider on 404 errors
|
0
|
254
|
2023 年 4 月 29 日
|