Fix fixed header issue after removing rows (1295420)

Aleksander Machniak

2013-12-08 fd0c123e44391aa01a85c5aeebbd0cea418f0808

 program/js/list.js

@@ -249,6 +249,9 @@
  // reset scroll position (in Opera)
  if (this.frame)
    this.frame.scrollTop = 0;

  // fix list header after removing any rows
  this.resize();
},


@@ -257,7 +260,7 @@
 */
remove_row: function(uid, sel_next)
{
  var node = this.rows[uid] ? this.rows[uid].obj : null;
  var self = this, node = this.rows[uid] ? this.rows[uid].obj : null;

  if (!node)
    return;
@@ -269,6 +272,10 @@

  delete this.rows[uid];
  this.rowcount--;

  // fix list header after removing any rows
  clearTimeout(this.resize_timeout)
  this.resize_timeout = setTimeout(function() { self.resize(); }, 50);
},


@@ -277,7 +284,7 @@
 */
insert_row: function(row, before)
{
  var tbody = this.tbody;
  var self = this, tbody = this.tbody;

  // create a real dom node first
  if (row.nodeName === undefined) {
@@ -305,6 +312,10 @@

  this.init_row(row);
  this.rowcount++;

  // fix list header after adding any rows
  clearTimeout(this.resize_timeout)
  this.resize_timeout = setTimeout(function() { self.resize(); }, 50);
},

/**