change hotkey to f3 to toggle auto highlight