From 9e8455d8a5285bfbdd92cab1515270f695a9b5d3 Mon Sep 17 00:00:00 2001 From: Paweł Marks Date: Mon, 6 Jul 2020 10:08:43 +0200 Subject: Make Location provider use anchor hints --- plugins/javadoc/src/main/kotlin/javadoc/pages/JavadocContentNodes.kt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'plugins/javadoc/src/main/kotlin') diff --git a/plugins/javadoc/src/main/kotlin/javadoc/pages/JavadocContentNodes.kt b/plugins/javadoc/src/main/kotlin/javadoc/pages/JavadocContentNodes.kt index 5b45bdf7..c8593498 100644 --- a/plugins/javadoc/src/main/kotlin/javadoc/pages/JavadocContentNodes.kt +++ b/plugins/javadoc/src/main/kotlin/javadoc/pages/JavadocContentNodes.kt @@ -43,7 +43,7 @@ class JavadocContentGroup( val dri: Set, val kind: Kind, sourceSets: Set, - val children: List + override val children: List ) : JavadocContentNode(dri, kind, sourceSets) { companion object { @@ -96,7 +96,7 @@ data class TextNode( class ListNode( val tabTitle: String, val colTitle: String, - val children: List, + val entries: List, val dri: Set, val kind: Kind, sourceSets: Set -- cgit