Aleksander Machniak
2014-02-05 c83a9556e75c8f98cb94ff5f4c3656b773975f02
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);
@@ -360,7 +365,7 @@
  // Un-focus already focused elements (#1487123, #1487316, #1488600, #1488620)
  // It looks that window.focus() does the job for all browsers, but not Firefox (#1489058)
  $(':focus:not(body)').blur();
  $('iframe,:focus:not(body)').blur();
  window.focus();
  if (e || (e = window.event))
@@ -1340,7 +1345,7 @@
      var uid = RegExp.$1, row = self.rows[uid];
      if ($.inArray(uid, selection) > -1)
      if (!row || $.inArray(uid, selection) > -1)
        return;
      selection.push(uid);