Also adapt fixed table header to vertical body scrolling

Thomas Bruederli

2014-01-29 4ae28ff09fc6896ad35f824b8f63baa4cc10956b

 program/js/list.js

@@ -195,7 +195,12 @@

    var me = this;
    $(window).resize(function(){ me.resize() });
    $(window).scroll(function(){ me.fixed_header.css({ 'marginLeft': (-$(window).scrollLeft()) + 'px' }) });
    $(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);