Harald Schilly

Yes, that behaviour is still there. The newly typed characters are prepended to the previously selected text in that middle-click clipboard buffer. At least, there is some odd side effects...

The aspect of being notified if you are collaborator could be important for improvised classroom settings. 1. student is added as a collaborator 2. teacher puts up new material 3....

Best workaround: `$ aspell -t -c

[Comments by Jason](https://groups.google.com/d/msg/sage-cloud/1Em9g0wQnPE/4-hzFJqoTCcJ) - luatex? - run on syncfile? - typo.js

@pbeltran add `%sagemathcloud={"lang":"disable"}` at the bottom of the `*.tex` document.

well, for now, this is just a nice idea but needs more work. it turned out, that using a subdirectory doesn't work with some of the working files. in particular...

Maybe this issue is a bad idea, at least it must be possible to easily tell the user that there are hidden files (e.g. a gray line "some files are...

Yet another variation could be a `.sagecloudignore` file, just for the current directory.

yes, creating a directory for latex is a good idea ... unless one is already inside such a subdirectory and just wants to add an additional file -- i.e. only...

idea: what about adding the restart project button directly to the dialog? it's running in the background anyways, right?