Also adapt fixed table header to vertical body scrolling

Thomas Bruederli

2014-01-29 4ae28ff09fc6896ad35f824b8f63baa4cc10956b

 program/js/list.js

@@ -195,6 +195,12 @@

    var me = this;
    $(window).resize(function(){ me.resize() });
    $(window).scroll(function(){
      var w = $(window);
      me.fixed_header.css('marginLeft', (-w.scrollLeft()) + 'px');
      if (!bw.webkit)
        me.fixed_header.css('marginTop', (-w.scrollTop()) + 'px');
    });
  }
  else {
    $(this.fixed_header).find('thead').replaceWith(clone);
@@ -221,6 +227,8 @@
    $(this.thead).find('tr td').each(function(index) {
      $(this).css('width', column_widths[index]);
    });

    $(window).scroll();
},

/**