set F3 as highlight-symbol-next