int3/doppio — pull request #65 by jvilk (2012-11-09 22:08:59+00:00)
Title: Smarter file fetching from webserver, bug fixes

* We no longer fetch a file from the webserver if it is not in ``listings.json``.
* Fixed autocomplete; before, it was not working for non-directories.
* Fixed a bug with writing files; I forgot a paren.
* Removed the special treatment for demo files, as they are pulled in lazily now.