[Pan-users] 0.14.0.90: Header pane looses focus after deletion

[Nicolas Girard]

Hi,
AFAIK this defect appeared with the last release.

When an article is deleted, the header pane looses focus, which forces
the user to hit 'space' or 'down' + 'up' to set the focus on the next
article.

Tested on i686 / mdk9.1 / pan-0.14.0.90-1tex.rpm

As a general rule, should I open a bug in bugzilla for such a tiny bug ?

Cheers,
Nicolas