state/com.monkopedia.kodemirror.state/ExtensionHolder

ExtensionHolder

class ExtensionHolder(val extension: Extension) : Extension

Constructors

Link copied to clipboard
constructor(extension: Extension)

Properties

Link copied to clipboard

Functions

Link copied to clipboard
operator fun Extension.plus(other: Extension): ExtensionList

Combine two extensions into an ExtensionList.

Generated by Dokka
© 2026 Copyright