[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Resetting `whitespace-lines' face
From: |
Philipp Stephani |
Subject: |
Resetting `whitespace-lines' face |
Date: |
Mon, 15 Jun 2015 17:14:43 +0200 |
Hi,
when using the `lines' style in `whitespace-styles' there doesn't seem
to be a way to reapply the `whitespace-lines' face after changing the
`whitespace-line-column' variable. That is, even turning
`whitespace-mode' off and on again doesn't change the line fontification
(because the font lock face is only added but never removed). Is there
a way to force removing and adding the face? (If so,
`whitespace-turn-off' should probably use it.)
Thanks,
Philipp
--
Google Germany GmbH
Dienerstraße 12
80331 München
Registergericht und -nummer: Hamburg, HRB 86891
Sitz der Gesellschaft: Hamburg
Geschäftsführer: Graham Law, Christine Elizabeth Flores
Diese E-Mail ist vertraulich. Wenn Sie nicht der richtige Adressat sind,
leiten Sie diese bitte nicht weiter, informieren Sie den Absender und löschen
Sie die E-Mail und alle Anhänge. Vielen Dank.
This e-mail is confidential. If you are not the right addressee please do not
forward it, please inform the sender, and please erase this e-mail including
any attachments. Thanks.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Resetting `whitespace-lines' face,
Philipp Stephani <=