SourceEditorInput.session
property · packages/mixins-richtext/src/source.ts:34
readonly session: SourceSessionRich text / foldkit-mixins-richtext
interface · packages/mixins-richtext/src/source.ts:33
interface SourceEditorInput<Message> {
readonly session: SourceSession
readonly document: RichText.Document
readonly drafted: (draft: string) => Message
readonly moved: (caret: number) => Message
readonly done: Message
}SourceEditorInput.sessionproperty · packages/mixins-richtext/src/source.ts:34
readonly session: SourceSessionSourceEditorInput.documentproperty · packages/mixins-richtext/src/source.ts:36
readonly document: RichText.DocumentThe document the session was opened on, which the application still holds.
SourceEditorInput.draftedproperty · packages/mixins-richtext/src/source.ts:38
readonly drafted: (draft: string) => MessageWhat the text area sends as the Markdown changes: the next draft.
SourceEditorInput.movedproperty · packages/mixins-richtext/src/source.ts:40
readonly moved: (caret: number) => MessageWhat the text area sends as its caret moves: the session's next caret (§147).
SourceEditorInput.doneproperty · packages/mixins-richtext/src/source.ts:42
readonly done: MessageWhat the way back sends.