Finally: make message list header stay on top when scrolling (#1295420)

Thomas Bruederli

2013-07-09 73ad4f1bfdf104055104907c11f97315d6fb2ebe

 program/js/app.js

@@ -6437,6 +6437,7 @@

          if ((response.action == 'list' || response.action == 'search') && this.message_list) {
            this.msglist_select(this.message_list);
            this.message_list.resize();
            this.triggerEvent('listupdate', { folder:this.env.mailbox, rowcount:this.message_list.rowcount });
          }
        }
@@ -6447,6 +6448,7 @@
            this.enable_command('search-create', this.env.source == '');
            this.enable_command('search-delete', this.env.search_id);
            this.update_group_commands();
            this.contact_list.resize();
            this.triggerEvent('listupdate', { folder:this.env.source, rowcount:this.contact_list.rowcount });
          }
        }