Is there any way to scroll the editor to show the selected text when the selection is set via editor.set_selection()?