diff options
author | Błażej Kardyś <bkardys@virtuslab.com> | 2020-04-01 02:19:40 +0200 |
---|---|---|
committer | Paweł Marks <Kordyjan@users.noreply.github.com> | 2020-04-06 13:15:51 +0200 |
commit | a1866dd98d291a6a2a538e88348c53ff08c812eb (patch) | |
tree | 93e6c483c05e9f2a8eca8ca35934043534de5bd4 /plugins | |
parent | 03cc02db833b1ad91b3e96c533c44c725efeb36b (diff) | |
download | dokka-a1866dd98d291a6a2a538e88348c53ff08c812eb.tar.gz dokka-a1866dd98d291a6a2a538e88348c53ff08c812eb.tar.bz2 dokka-a1866dd98d291a6a2a538e88348c53ff08c812eb.zip |
Integrating fuzzy search into dokka
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt b/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt index 08bfae1f..c2960694 100644 --- a/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt +++ b/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt @@ -306,12 +306,9 @@ open class HtmlRenderer( id = "main" div { id = "searchBar" - form(action = page.root("-search.html"), method = FormMethod.get) { - id = "searchForm" - input(type = InputType.search, name = "query") - input(type = InputType.submit) { value = "Search" } - } } + script(type = ScriptType.textJavaScript, src = page.root("scripts/pages.js")) {} + script(type = ScriptType.textJavaScript, src = page.root("scripts/main.js")) {} content() } } |