Cookie defining standard operations with a text document and an editor that can display it.
The interface extends EditorCookie and allows observing changes in state of the text document.
Cookie for data objects that want to provide support for accessing lines in a document.
Built on November 28 2022. | Copyright © 2017-2022 Apache Software Foundation. All Rights Reserved.