Add optional navbar search (for docs.gitea.io) #112

Merged
jolheiser merged 1 commits from :add-search into master 2022-07-31 01:44:21 +00:00
Member

This adds an optional search input, intended for https://docs.gitea.io (where the search input currently is on a separate page).
This could be useful in the future for other sites using this theme.

This could also be added to the docs site only by overriding the navbar partial there, but then we're risking that the templates drift apart over time.

This adds an optional search input, intended for https://docs.gitea.io (where the search input currently is on a separate page). This could be useful in the future for other sites using this theme. This could also be added to the docs site only by overriding the navbar partial there, but then we're risking that the templates drift apart over time.
noerw added the
kind/enhancement
label 2022-07-30 12:08:28 +00:00
noerw added 1 commit 2022-07-30 12:08:29 +00:00
All checks were successful
continuous-integration/drone/pr Build is passing
ca24857b63
add optional navbar search
noerw changed title from Add optional navbar search (for docs.gitea.io to Add optional navbar search (for docs.gitea.io) 2022-07-30 12:09:31 +00:00
lunny approved these changes 2022-07-31 01:34:09 +00:00
jolheiser approved these changes 2022-07-31 01:44:06 +00:00
jolheiser merged commit 6ce483ae45 into master 2022-07-31 01:44:21 +00:00
noerw deleted branch add-search 2022-08-02 06:21:22 +00:00
This repo is archived. You cannot comment on pull requests.
No description provided.