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 May 10 2021. | Copyright © 2017-2021 Apache Software Foundation. All Rights Reserved.