Lots of updates.
Don't delay highlight-symbol