editor property

Editor editor

The Editor whose Document displayed in this SuperReader.

SuperReader prevents users from interacting with, and altering the Document. However, SuperReader takes an Editor so that developers can alter the Document through code, such as contributing new content from an AI GPT.

Implementation

final Editor editor;