PHP: fixed: when selecting an editor, highlight it in the tree view