state/com.monkopedia.kodemirror.state/Compartment

Compartment

class Compartment : Extension

Extension compartments can be used to make a configuration dynamic.

Constructors

constructor()

Types

object Companion

Functions

fun get(state: EditorState): Extension?

Get the current content of the compartment in the state.

fun of(ext: Extension): Extension

Create an instance of this compartment to add to your state configuration.

operator fun Extension.plus(other: Extension): ExtensionList

Combine two extensions into an ExtensionList.

fun reconfigure(content: Extension): StateEffect<*>

Create an effect that reconfigures this compartment.