#2 View style not working correctly with TeX source option

[Ben]

To get View style to display TeX Source for the first time, one must select it, after some time then select either html or page images, then refresh the page, then after some time re-select TeX Source. Very annoying.