* correctly reload the page when browsing back in history
            * clear selection when focusing editor after error message
            * correctly restart the workers after changing the number of threads
            * open link in new window/tabs instead of the current window.