diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-09-09 16:23:54 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-09-09 16:25:09 +0200 |
| commit | 7621bb05c9cda4e236161239236a547994a7245d (patch) | |
| tree | 7a7b04cd3bf54bc4bd0e0d1f2fd5b64a1c86946f /config | |
| parent | 37c3c0033dd3a1054e375a8770f93e4dc3239f4c (diff) | |
| download | Nim-7621bb05c9cda4e236161239236a547994a7245d.tar.gz | |
docgen: search feature
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index b953383de..742217e59 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -74,9 +74,14 @@ $content doc.body_toc = """ <div class="row"> <div class="three columns"> + <div> + Search: <input type="text" id="searchInput" + onkeyup="search()" /> + </div> $tableofcontents </div> <div class="nine columns" id="content"> + <div id="tocRoot"></div> <p class="module-desc">$moduledesc</p> $content </div> @@ -87,6 +92,10 @@ doc.body_toc_group = """ <div class="row"> <div class="three columns"> <div> + Search: <input type="text" id="searchInput" + onkeyup="search()" /> + </div> + <div> Group by: <select onchange="groupBy(this.value)"> <option value="section">Section</option> |