Thomas Bruederli
2015-07-31 2965a981b7ec22866fbdf2d567d87e2d068d3617
program/js/treelist.js
@@ -334,7 +334,7 @@
      // re-render the entire subtree
      if (parent_node.children.length == 1) {
        render_node(parent_node, parent_li.parent(), parent_li);
        render_node(parent_node, null, parent_li);
        li = id2dom(node.id);
      }
      else {