[Agda] Emacs whitespace-mode

[Matthew Daggitt]

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:

(require 'whitespace)
(setq whitespace-line-column 80) ;; limit line length
(setq whitespace-style '(face lines-tail))
(global-whitespace-mode +1)

and the highlighting works everywhere except in `.agda` files...
Many thanks,
Matthew
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190124/4c74cda3/attachment.html>