Hi again Olivier, If you still want to use gnus-filterhist, could you try the attached patch? It fixes the issue of *Group* buffer not updating for me.
And thanks for the good bug report; it was pretty clear from that what was wrong.
--- gnus-filterhist.el~ 2003-10-17 23:20:53.000000000 +0300 +++ gnus-filterhist.el 2005-10-02 22:16:26.000000000 +0300 @@ -188,9 +188,9 @@ ) ))) (setq nnmail-session-split-history my-session-split-history) - )))) - (add-text-properties (point-min) (point-max) - '(face gnus-filterhist-face-1)) + )) + (add-text-properties (point-min) (point-max) + '(face gnus-filterhist-face-1)))) (switch-to-buffer buf) (if gnus-filter-history-popup (pop-to-buffer "*Filter History*")
-- Jaakko Kangasharju Open the door, this is Bon Jovi!
