This commit fixes an issue with the highlight element functionality which would leave the highlight active when the search bar is not empty and the user changes view. It will now disappear as long as the user moves his cursor anywhere in the page. Also, highlights are now removed when the user scrolls while the html selector is active.
This commit fixes an issue with the highlight element functionality which would leave the highlight active when the search bar is not empty and the user changes view. It will now disappear as long as the user moves his cursor anywhere in the page. Also, highlights are now removed when the user scrolls while the html selector is active.