Added an highlight option in View menu