On Sat, Oct 1, 2016 at 3:31 PM, Stefan van Zwam wrote:
> Another issue or two:
>
> 1) Resizing the browser window on a moderately complex document will freeze
> the entire browser window for a number of seconds. This is worse on Chrome
> than in Safari, but happens with
I hear from my student that everything is back to normal. Thanks for the
quick fix!
--Stefan
On Friday, September 30, 2016 at 1:54:57 PM UTC-5, William Stein wrote:
>
> Sorry, with this fix, your original code should work fine.
>
> On Fri, Sep 30, 2016 at 11:54 AM, William Stein