branch: externals/debbugs
commit 6b87b3b910a3c97f11a5d841991ffa64744449dc
Author: Lars Magne Ingebrigtsen <[email protected]>
Commit: Lars Magne Ingebrigtsen <[email protected]>
Update the debbugs tag face when switching it off, too
---
debbugs-gnu.el | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debbugs-gnu.el b/debbugs-gnu.el
index 03a8323..95e60ac 100644
--- a/debbugs-gnu.el
+++ b/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)
