cmcnulty
2013-10-23 52616821c89d6e3b6c90288bb642c7efc7af9bd7
program/js/list.js
@@ -456,12 +456,11 @@
  var dblclicked = now - this.rows[id].clicked < this.dblclick_time;
  // unselects currently selected row
  if (!this.drag_active && this.in_selection_before == id && !dblclicked)
    this.select_row(id, mod_key, false);
  // selects/unselects currently selected row
  if (!this.drag_active && !dblclicked)
    this.select_row(id, mod_key, true);
  this.drag_start = false;
  this.in_selection_before = false;
  // row was double clicked
  if (this.rowcount && dblclicked && this.in_selection(id)) {
@@ -787,7 +786,7 @@
        break;
      case CONTROL_KEY:
        if (!with_mouse)
        if (with_mouse)
          this.highlight_row(id, true);
        break;