Some more improvemements on content structure, text representation and keyb...

Thomas Bruederli

2014-06-02 d58c39126f6e1754e29b6f3bbc01f0f6a3ea2581

 program/js/list.js

@@ -274,11 +274,10 @@

  this.rows = {};
  this.rowcount = 0;
  this.last_selected = 0;

  if (sel)
    this.clear_selection();
  else
    this.last_selected = 0;

  // reset scroll position (in Opera)
  if (this.frame)