jackliuau

P.S. Clicking in current editor or on current tab will not bring highlighting back. However the highlighting will come back when I click on another tab, or when I switch...