Selection indication was done using the on{Text/Node}SelectionChange listeners.
you can try the following calls in the console of your browser:
// text and code modes: editor.getTextSelection() editor.setTextSelection(startPos,endPos) // tree mode: editor.getNodeSelection() editor.setNodeSelection(Node1,Node2)

Selection: