Added highlight-symbol mode