diff options
| author | Ignat Beresnev <ignat.beresnev@jetbrains.com> | 2023-05-31 13:53:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-31 13:53:07 +0200 |
| commit | 63bed7cb2e47eb46772e680982c33ed3ee624c31 (patch) | |
| tree | 3355f5c18c9d755caffa6f2fb6ca24a2f91a1acc /plugins/base/src/main/resources/dokka | |
| parent | f45750699d089e0101dcde5d38c7e08ec2f03708 (diff) | |
| download | dokka-63bed7cb2e47eb46772e680982c33ed3ee624c31.tar.gz dokka-63bed7cb2e47eb46772e680982c33ed3ee624c31.tar.bz2 dokka-63bed7cb2e47eb46772e680982c33ed3ee624c31.zip | |
Fix missing tab entries for module names with space (#3019)
Diffstat (limited to 'plugins/base/src/main/resources/dokka')
| -rw-r--r-- | plugins/base/src/main/resources/dokka/scripts/platform-content-handler.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/base/src/main/resources/dokka/scripts/platform-content-handler.js b/plugins/base/src/main/resources/dokka/scripts/platform-content-handler.js index 88d4d71a..7c5e8af7 100644 --- a/plugins/base/src/main/resources/dokka/scripts/platform-content-handler.js +++ b/plugins/base/src/main/resources/dokka/scripts/platform-content-handler.js @@ -322,8 +322,8 @@ function refreshFiltering() { document.querySelectorAll("[data-filterable-set]") .forEach( elem => { - let platformList = elem.getAttribute("data-filterable-set").split(' ').filter(v => -1 !== sourcesetList.indexOf(v)) - elem.setAttribute("data-filterable-current", platformList.join(' ')) + let platformList = elem.getAttribute("data-filterable-set").split(',').filter(v => -1 !== sourcesetList.indexOf(v)) + elem.setAttribute("data-filterable-current", platformList.join(',')) } ) refreshFilterButtons() |