branch: externals/debbugs
commit 3f2a99a698d5066e4ae7d3a749b6c52889d52eac
Author: Michael Albinus <michael.albi...@gmx.de>
Commit: Michael Albinus <michael.albi...@gmx.de>
* debbugs-gnu.el (debbugs-gnu-print-entry): Keep `mouse-face' property.
---
debbugs-gnu.el | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/debbugs-gnu.el b/debbugs-gnu.el
index d66a9eaecf..925d4bbd92 100644
--- a/debbugs-gnu.el
+++ b/debbugs-gnu.el
@@ -1079,7 +1079,12 @@ Used instead of `tabulated-list-print-entry'."
(> (cddr check) val)))
(throw :suppress t))))))))
- (tabulated-list-print-entry list-id cols))))
+ (tabulated-list-print-entry list-id cols)
+
+ ;; Add properties.
+ (add-text-properties
+ (line-beginning-position 0) (line-end-position 0)
+ '(mouse-face highlight)))))
(defun debbugs-gnu-menu-map-emacs-enabled ()
"Whether \"Show Release Blocking Bugs\" is enabled in the menu."
