Aleksander Machniak
2014-08-08 ef4c4787604b02f40d271a88126e1a2ed8753be0
program/js/treelist.js
@@ -94,6 +94,7 @@
  this.get_node = get_node;
  this.get_selection = get_selection;
  this.is_search = is_search;
  this.reset_search = reset_search;
  /////// startup code (constructor)