the mozillazine article wrote: When you delete a message, that message does not actually get removed from the mail file. It is simply marked as deleted and becomes invisible from within the application. When you empty the Trash folder, the messages stored there are marked as deleted and made invisible, but they still in fact exist in the mail file named Trash. It is only when you compact folders that the "deleted" messages are really erased from the mail file.
Earlier in the article it was said,
If you check "Empty Trash on Exit" it will empty and compact the Trash folder when you exit Thunderbird.
I agree, the mozillazine article is misleading as far as deleting messages from the trash.
If you delete the messages in the Trash folder by selecting them and using the Delete button or delete key, then the messages, although invisible, still exist inside the Trash file, taking up space and readable if you open the Trash file in Notepad, until you compact the Trash.
However, as pointed out, if you use the "Empty Trash" option to delete the messages, then the messages are in fact removed and the folder is compacted (file size = 0). The "Empty Trash on Exit" option in the mail account's Server Settings (using Mozilla 1.7.2) accomplishes the same thing, removing all messages from the Trash folder and compacting the trash automatically.
UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040803