Community
Participate
Working Groups
It should be possible to show or hide the caret even when moving with cursor keys, e.g. for lines that show content that does not contain document text but some other overlay. styledText.getCaret().setVisible(visible) is not sufficient because it is quickly overwritten by StyledText.updateCaretVisibility, e.g. after having pressed a cursor key. IMHO it should be and-combined with the current visibility. The caret should only become visible if enabled from outside (new method suggestion: setCaretVisible) and from its internal state, e.g. block selection.