Speedbar tweaks and auto-highlight-symbol