diff options
| author | marv <rotrobmin@gmail.com> | 2024-02-08 04:00:35 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-08 12:00:35 +0000 |
| commit | 20520100f259bc174533fcd959c65550e2f7f074 (patch) | |
| tree | 0036b959c4b506212bece573c8c0ea4ee79cdf2f /ext/search.html | |
| parent | aa269c65a9a4d3ec2ca8ac4e5b1483c9c9455350 (diff) | |
Search Page Profile Switching (#648)
* Add profile select dropdown
* Remove right align on profile switcher in search
* Fix API access
* Don't cache optionsFull
---------
Co-authored-by: Darius Jahandarie <djahandarie@gmail.com>
Diffstat (limited to 'ext/search.html')
| -rw-r--r-- | ext/search.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ext/search.html b/ext/search.html index 8c595cc4..1deadd3c 100644 --- a/ext/search.html +++ b/ext/search.html @@ -47,6 +47,11 @@ <span class="search-option-pre-label">Parser:</span> <select id="query-parser-mode-select"></select> </div> + <div class="search-option" id="search-option-profile-select"> + <span class="profile-select-container"><select class="profile-select" id="profile-select"> + <optgroup label="Primary Profile" id="profile-select-option-group"></optgroup> + </select></span> + </div> </div> <div class="search-textbox-container"> <textarea id="search-textbox" class="scrollbar" placeholder="Input a term, expression, sentence, or block of text" autocomplete="off" lang="ja" autofocus></textarea> |