Franco Alberto Cardillo

In my case, Polacode does not save on the local machine when connected to a remote machine via the remote-ssh extension.

Same problems when the text to be animated is within p and /p Works fine in the other cases (I have tested)

Yes, I modified your fiddle. I hope it kept the changes: http://jsfiddle.net/BHUL4/2/

Yes, that was the solution I found. Not a big issue actually, but I thought you might find interesting the behaviour in my case. Indeed, thanks for your work.

I have recently got a high-dpi display and had problems with the current Protege (Desktop) distribution. When I downloaded the current version for Windows (5.5.0), the window was minuscule. Using...

> @thistlillo I got the same bug on a clean install today. The solution is indeed to set `LC_ALL` and `LANG` variables, but not in `.profile`, since `zsh` doesn't load...

Well, I came here looking for an explanation of those acme severs in this new GUI app I was testing out of curiousity. I agree with the OP, but I...