7e253ff937
Add UI to select preferred search engine when Google Programmable Search is enabled. The user's preference is saved using local storage. This also makes the search input field of type "search" for better UX (in particular on mobile). Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org> |
||
|---|---|---|
| .. | ||
| css | ||
| images | ||
| js | ||
| latex | ||