/* File: jstree.html.js This plugin makes it possible for jstree to use HTML data sources (other than the container's initial HTML). */ /* Group: jstree html plugin */ (function ($) { $.jstree.plugin("html", { defaults : { data : false, ajax : false }, _fn : { _append_html_data : function (dom, data) { data = $(data); if(!data || !data.length || !data.is('ul, li')) { return false; } dom = this.get_node(dom); if(dom === -1) { dom = this.get_container(); } if(!dom.length) { return false; } if(!dom.children('ul').length) { dom.append('