diff options
| author | Ignat Beresnev <ignat.beresnev@jetbrains.com> | 2023-02-07 19:04:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-07 19:04:50 +0100 |
| commit | 1a45f4ccf71101979a5988838df714bd5852cac5 (patch) | |
| tree | 20abe39e2903fe55a6eec0ead9abfc4ce081b1d2 /plugins/base/src | |
| parent | d57815eb33ad873038dc743d63870de4ceb5be39 (diff) | |
| download | dokka-1a45f4ccf71101979a5988838df714bd5852cac5.tar.gz dokka-1a45f4ccf71101979a5988838df714bd5852cac5.tar.bz2 dokka-1a45f4ccf71101979a5988838df714bd5852cac5.zip | |
Remove an unused function (#2840)
The creation of source set buttons was moved to the `source_set_selector.ftl` template
Diffstat (limited to 'plugins/base/src')
| -rw-r--r-- | plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt b/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt index 48ebe93f..73fd07e0 100644 --- a/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt +++ b/plugins/base/src/main/kotlin/renderers/html/HtmlRenderer.kt @@ -143,29 +143,6 @@ open class HtmlRenderer( } } - private fun FlowContent.filterButtons(page: PageNode) { - if (shouldRenderSourceSetBubbles && page is ContentPage) { - div(classes = "filter-section") { - id = "filter-section" - page.content.withDescendants().flatMap { it.sourceSets }.distinct() - .sortedBy { it.comparableKey }.forEach { - button(classes = "platform-tag platform-selector") { - attributes["data-active"] = "" - attributes["data-filter"] = it.sourceSetIDs.merged.toString() - when (it.platform.key) { - "common" -> classes = classes + "common-like" - "native" -> classes = classes + "native-like" - "jvm" -> classes = classes + "jvm-like" - "js" -> classes = classes + "js-like" - "wasm" -> classes = classes + "wasm-like" - } - text(it.name) - } - } - } - } - } - private fun FlowContent.copyButton() = span(classes = "top-right-position") { span("copy-icon") copiedPopup("Content copied to clipboard", "popup-to-left") |