This submenu consists of just two radio buttons, labeled "Highlighting On" and "Highlighting Off". The "Highlighting Off" button is selected.
Last updated 19 Feb 2003