I'm getting errors when deleting messages from the main list. This patch fixes that.
--- program/js/app.js (revision 367) +++ program/js/app.js (working copy) @@ -1246,6 +1246,7 @@ else { var id;
var selection = this.message_list.get_selection();
for (var n=0; n<selection.length; n++)
{
id = selection[n];
Robin