The Editor Caret API opens up the editor to give information about its carets and to manipulate them.
|Class and Description|
Handle possible moving of individual carets to new positions or change their selections.
Built on August 13 2020. | Copyright © 2017-2020 Apache Software Foundation. All Rights Reserved.