Closed
Description
It might be worth trying out a longer delay between spurts of typesetting to see if that improves the browser's responsiveness during the typesetting phase. This may make the typesetting take longer, since there will be longer delays during the process, but currently the responsiveness is pretty bad. Not sure if it will really help, because when the typesetting os a single equation gets to be long enough, there isn't much we can do to be responsive while that is going on.
Davide