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 --- core/src/main/kotlin/pages/ContentNodes.kt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'core/src') diff --git a/core/src/main/kotlin/pages/ContentNodes.kt b/core/src/main/kotlin/pages/ContentNodes.kt index 3843bb48..c8b767d3 100644 --- a/core/src/main/kotlin/pages/ContentNodes.kt +++ b/core/src/main/kotlin/pages/ContentNodes.kt @@ -2,6 +2,7 @@ package org.jetbrains.dokka.pages import org.jetbrains.dokka.DokkaConfiguration.DokkaSourceSet import org.jetbrains.dokka.links.DRI +import org.jetbrains.dokka.model.WithChildren import org.jetbrains.dokka.model.properties.PropertyContainer import org.jetbrains.dokka.model.properties.WithExtraProperties @@ -9,12 +10,15 @@ data class DCI(val dri: Set, val kind: Kind) { override fun toString() = "$dri[$kind]" } -interface ContentNode : WithExtraProperties { +interface ContentNode : WithExtraProperties, WithChildren { val dci: DCI val sourceSets: Set val style: Set