> I would have guessed that your problem was that the browser cached the .js file so changing the file would appear to have no effect. But if you've rebooted the computer, that rules that out. Unless your browser is on a different machine to the TVH server?
Good point. I rebooted the "web server" computer but I didn't clear the cache on the computer that was running the browser. But from what Em said, I think the real problem is that it doesn't use the individual .js files such as dvr.js (which is what I tried modifying), but instead "compiles" these into one big merged file which is then gzipped.