Add shortcut F3 to toggle search highlight