Better cursor setting in web view and display of raw HTML after a relaunch