A bunch of performance improvements in this, and several smaller fixes.
- Chrome scrolling on touch-screen capable setups.
- PDF export now creates 'compressed-type' PDF's, with size savings of roughly 75-90%
- More responsive UI while loading large scripts
Loads of behind-the-scenes improvements and fixes for rarer, but occasionally severe bugs.
As ever, let me know about any problems.