* code_map/view_mainmap.ml: highlight currently selected node