diff options
| author | Hamid Bluri <hr.bolouri@gmail.com> | 2023-08-22 20:01:21 +0330 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-22 18:31:21 +0200 |
| commit | a26ccb34768fdaceff2cf4d27aee4c830fd47303 (patch) | |
| tree | 5215da171d855c7168b0f7547b08213cbf0b1e66 /config | |
| parent | 602f537eb2445b442b6cddecf9f55bf476068ea9 (diff) | |
| download | Nim-a26ccb34768fdaceff2cf4d27aee4c830fd47303.tar.gz | |
fix #22492 (#22511)
* fix #22492 * Update nimdoc.css remove scroll-y * Update nimdoc.out.css * Update nimdoc.css * make it sticky again * Update nimdoc.out.css * danm sticky, use fixed * Update nimdoc.out.css * fix margin * Update nimdoc.out.css * make search input react to any change (not just keyboard events) according to https://github.com/nim-lang/Nim/pull/22511#issuecomment-1685218787
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 9f36e7d1c..9535aa384 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -155,7 +155,7 @@ doc.body_toc_group = """ </div> <div id="searchInputDiv"> Search: <input type="search" id="searchInput" - onkeyup="search()" /> + oninput="search()" /> </div> $body_toc_groupsection $tableofcontents @@ -189,7 +189,7 @@ doc.body_toc_group = """ </ul> </div> <div id="searchInputDiv"> - Search: <input type="search" id="searchInput" onkeyup="search()"/> + Search: <input type="search" id="searchInput" oninput="search()"/> </div> <div> Group by: |