> Le 19 mars 2022 à 11:04, Jean-Louis Paquelin a
> écrit :
>
> Hello,
>
> Yesterday I had problems with the web IDE. The page crashed when I was
> working on some pattern matching stuff. I first thought it was a server side
> problem (as Chrome reported). But I finally discovered that it
Hello,
Yesterday I had problems with the web IDE. The page crashed when I was
working on some pattern matching stuff. I first thought it was a server
side problem (as Chrome reported). But I finally discovered that it was on
the client side. I fixed it by clearing the Chrome cache and cookies...