Adjust fixed header position when scrolling (#1295420)

Thomas Bruederli

2014-01-29 cbd8f7c5d2ca517c42d19ff9b92982be9f539a96

Adjust fixed header position when scrolling (#1295420)

 program/js/list.js

@@ -195,6 +195,7 @@

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

    $(window).scroll();
},

/**