[Pan-users] 11.94: Bug in task manager?

[Edith Gross]

I am having a list of tasks in the task manager window.
Now I click on one of them and shift-click on another one. 
Then the tasks in between are selected. It seems that the 
delete icon does not always work and sometimes nothing 
happens.
So I have to delete the tasks one by one (which does work).

Have I found a bug?

E.G.

_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com