The Editor Caret API opens up the editor to give information about its carets and to manipulate them.
|Modifier and Type||Method and Description|
Notification about change in terms of caret addition/removal or movement.
Built on September 6 2021. | Copyright © 2017-2021 Apache Software Foundation. All Rights Reserved.