[Agda] Re: unicode input

Stefan Monnier monnier at iro.umontreal.ca
Thu May 19 21:54:04 CEST 2016


>> PS 2. In both machines, when the offending characters are displayed
>> correctly, still we have a problem that a blank line is displayed
>> above the character's line, and also below.

> Perhaps this problem can be fixed by upgrading Emacs:

And if that doesn't fix it, try M-x report-emacs-bug since it sure
sounds like the problem is Emacs's side.


        Stefan



More information about the Agda mailing list