Clear highlight in terminal and search panes when closed (since they can now be re-shown after close).