diff options
Diffstat (limited to 'core/src/main/kotlin/pages/ContentNodes.kt')
| -rw-r--r-- | core/src/main/kotlin/pages/ContentNodes.kt | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/core/src/main/kotlin/pages/ContentNodes.kt b/core/src/main/kotlin/pages/ContentNodes.kt index a94a42c5..40b5e114 100644 --- a/core/src/main/kotlin/pages/ContentNodes.kt +++ b/core/src/main/kotlin/pages/ContentNodes.kt @@ -29,8 +29,10 @@ data class ContentHeader( override val dci: DCI, override val platforms: Set<PlatformData>, override val style: Set<Style>, - override val extras: Set<Extra> -) : ContentComposite + override val extras: Set<Extra> = emptySet() +) : ContentComposite { + constructor(level: Int, c: ContentComposite) : this(c.children, level, c.dci, c.platforms, c.style, c.extras) +} /** Code blocks */ data class ContentCode( @@ -117,11 +119,11 @@ interface Style interface Kind enum class ContentKind : Kind { - Comment, Functions, Parameters, Properties, Classes, Packages, Symbol, Sample + Comment, Functions, Parameters, Properties, Classes, Packages, Symbol, Sample, Main } enum class TextStyle : Style { - Bold, Italic, Strong, Strikethrough + Bold, Italic, Strong, Strikethrough, Paragraph } interface HTMLMetadata: Extra { |