struct

LSP::DidChangeNotebookDocumentParams

Inherits JSON::Serializable < Struct < Value < Object

The params sent in a change notebook document notification.

Constructors

new(pull : JSON::PullParser)
Source
new(*, __pull_for_json_serializable pull : JSON::PullParser)
Source

Instance methods

change

The actual changes to the notebook document.

The change describes single state change to the notebook document. So it moves a notebook document, its cells and its cell text document contents from state S to S'.

To mirror the content of a notebook using change events use the following approach:

  • start with the same initial content
  • apply the 'notebookDocument/didChange' notifications in the order you receive them.
Source
change=(change : NotebookDocumentChangeEvent)

The actual changes to the notebook document.

The change describes single state change to the notebook document. So it moves a notebook document, its cells and its cell text document contents from state S to S'.

To mirror the content of a notebook using change events use the following approach:

  • start with the same initial content
  • apply the 'notebookDocument/didChange' notifications in the order you receive them.
Source
notebook_document

The notebook document that did change. The version number points to the version after all provided changes have been applied.

Source
notebook_document=(notebook_document : VersionedNotebookDocumentIdentifier)

The notebook document that did change. The version number points to the version after all provided changes have been applied.

Source