branch: externals/debbugs
commit a762b834607e04de749d1ff36a04ed9d63f61974
Author: Michael Albinus <[email protected]>
Commit: Michael Albinus <[email protected]>
Set mouse point in debbugs
* packages/debbugs/debbugs-gnu.el (debbugs-gnu-select-report)
(debbugs-gnu-select-usertag): Call `mouse-set-point' when
appropriate.
---
debbugs-gnu.el | 2 ++
1 file changed, 2 insertions(+)
diff --git a/debbugs-gnu.el b/debbugs-gnu.el
index f814642..eb94679 100644
--- a/debbugs-gnu.el
+++ b/debbugs-gnu.el
@@ -1350,6 +1350,7 @@ MERGED is the list of bugs merged with this one."
(defun debbugs-gnu-select-report ()
"Select the report on the current line."
(interactive)
+ (when (mouse-event-p last-input-event) (mouse-set-point last-input-event))
;; We open the report messages.
(let* ((status (debbugs-gnu-current-status))
(id (cdr (assq 'id status)))
@@ -1673,6 +1674,7 @@ The following commands are available:
(defun debbugs-gnu-select-usertag ()
"Select the user tag on the current line."
(interactive)
+ (when (mouse-event-p last-input-event) (mouse-set-point last-input-event))
;; We open the bug reports.
(let ((args (get-text-property (line-beginning-position)
'tabulated-list-id)))
(when args (apply 'debbugs-gnu args))))
