[imp] bug in virtual trash?

[Peter Ip]

I'm running IMP 4.1.3, Horde 3.1.3.

If I choose "Use Virtual Trash Folder" while leaving the "Trash Folder" option 
as "None", then deleting a message produces the error:

Can not move messages to Trash - no Trash mailbox set in preferences.

Why should it be trying to move the message at all? The documentation
claims that the virtual trash folder just marks the message as deleted.

Is this a bug? Or am I doing something wrong?

Peter

_____________________________________________________
Peter Ip, PhD
Computing and Network Services, University of Toronto
email: peter.ip at utoronto.ca