hide_dots    : function () { this.data.themes.dots = false; this.get_container().children("ul").addClass("jstree-no-dots"); },