[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37728: gnus-summary-isearch-article not worth the trouble
From: |
Robert Pluim |
Subject: |
bug#37728: gnus-summary-isearch-article not worth the trouble |
Date: |
Fri, 18 Oct 2019 12:01:46 +0200 |
>>>>> On Fri, 18 Oct 2019 16:27:37 +0800, 積丹尼 Dan Jacobson
>>>>> <jidanni@jidanni.org> said:
>>>>> "RP" == Robert Pluim <rpluim@gmail.com> writes:
RP> (defadvice gnus-summary-isearch-article (after switch-to-article
activate)
RP> (other-window 1))
積丹尼> That seems smoother.
Thanks for testing. Let us know if we can close the bug.
Robert