Highlight the selected assertion in the menu