[mgualt]

This seems to work well -- I imagine I would use it if I were using a temporary computer, an ipad, or some such thing. What would be nice is if I could integrate it with dropbox or similar services, essentially use it to edit and compile files in my dropbox library. Also it would be good to use a standard editor with config files that could be saved to customize the environment.

[JohnHammersley]

Thanks for the comments - glad you liked it! We're working on the offline integration and user customisation features, they're in the pipeline.