branch: master commit 19dc5532754afbbde558f645bbe70d0f5e552682 Author: Lars Magne Ingebrigtsen <la...@gnus.org> Date: Sat Dec 6 18:59:33 2014 +0100
Update the debbugs tag face when switching it off, too --- packages/debbugs/debbugs-gnu.el | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/debbugs/debbugs-gnu.el b/packages/debbugs/debbugs-gnu.el index 03a8323..95e60ac 100644 --- a/packages/debbugs/debbugs-gnu.el +++ b/packages/debbugs/debbugs-gnu.el @@ -971,8 +971,8 @@ interest to you." (add-to-list 'debbugs-gnu-local-tags id) (put-text-property (+ (point) (- 5 (length (number-to-string id)))) (+ (point) 5) - 'face 'debbugs-gnu-tagged) - (debbugs-gnu--update-tag-face id)))) + 'face 'debbugs-gnu-tagged)) + (debbugs-gnu--update-tag-face id))) (debbugs-gnu-dump-persistency-file)) (defun debbugs-gnu--update-tag-face (id)