thomascube
2005-11-01 36df57ce32ebad9416d78e4f86a41e5f1707f4ad
program/js/app.js
@@ -782,11 +782,15 @@
  this.switch_task = function(task)
    {
    if (this.task===task)
    if (this.task===task && task!='mail')
      return;
    var url = this.get_task_url(task);
    if (task=='mail')
      url += '&_mbox=INBOX';
    this.set_busy(true);
    location.href = this.get_task_url(task);
    location.href = url;
    };