[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64064: [PATCH 0/4] debbugs improvements
|
From: |
Michael Albinus |
|
Subject: |
bug#64064: [PATCH 0/4] debbugs improvements |
|
Date: |
Sun, 18 Jun 2023 12:11:40 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Albinus <michael.albinus@gmx.de> writes:
Hi Morgan,
>> * debbugs-gnu.el (debbugs-gnu-print-entry): Remove all printing logic and
>> replace with a call to 'tabulated-list-print-entry'.
>
> According to my tests, this looks good.
I've pushed it to the git repostory. I've added another patch which sets
the mouse-face property; this was lost in your patch.
Best regards, Michael.
bug#64064: [PATCH 4/4] Add 'debbugs-gnu-rescan' to 'tabulated-list-revert-hook'., Michael Albinus, 2023/06/16