<div dir="ltr"><div dir="ltr">Does anyone know of any existing incompatibilities with the emacs `whitespace-mode` in `agda-mode`? I use to have it working but at some point in the last couple of years it's stopped working. I have the following code in my `.emacs` file:<br><div><br></div><div><div>(require 'whitespace)</div><div>(setq whitespace-line-column 80) ;; limit line length</div><div>(setq whitespace-style '(face lines-tail))</div><div>(global-whitespace-mode +1)</div></div><div><br></div><div>and the highlighting works everywhere except in `.agda` files...</div><div>Many thanks,</div><div>Matthew</div></div></div>