editor: selection is highlighted